- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura
- Applicative programming 1
- Artificial intelligence-Applications and expert systems 1
- Clasificación del lenguaje 1
- Estudios de construcción de programas 1
- Formal languages 1
- Inteligencia artificial-Aplicaciones y sistemas expertos 1
- Language classifications 1
- Language constructs and features 1
- Languages and systems 1
- Lenguaje-construcción y características 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Lenguajes formales 1
- Lenguajes y sistemas 1
- Logic programming 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
- Metrics 1
- Métrica 1
- Procesadores 1
- Processors 1
- Programación aplicativa 1
- Programación en lógica 1
- Programación-Técnicas 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programming languages-Formal definitions and theory 1
- Programming techniques 1
- Programs-Specification 1
-
1
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Conference Proceeding Book -
2