A predicate for separating language classes
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Informatik für Ingenieure und Naturwissenschaftler (Inf. für Ing. u. Naturwiss.) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 180395 |
| Erscheinungsvermerk | EATCS bull. 56 (1995) S. 96-97. |