First-order theory of subtyping constraints
| Title: | First-order theory of subtyping constraints |
|---|---|
| Authors: | Alexander Aiken; Joachim Niehren; Tim Priesnitz |
| Contributors: | The Pennsylvania State University CiteSeerX Archives |
| Source: | http://www.ps.uni-sb.de/Papers/abstracts/fot.ps. |
| Publisher Information: | Press |
| Publication Year: | 2002 |
| Collection: | CiteSeerX |
| Description: | Univetsit"at des Saarlandes |
| Document Type: | text |
| File Description: | application/postscript |
| Language: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.6716 |
| Availability: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.6716; http://www.ps.uni-sb.de/Papers/abstracts/fot.ps |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: | edsbas.47FD1146 |
| Database: | BASE |