- Grammars and other rewriting systems 15
- Gramáticas y otros sistemas de reescritura
- Formal languages 6
- Lenguajes formales 6
- Mathematical logic-Computation 5
- Deducción y prueba de teoremas 4
- Deduction and theorem proving 4
- Lógica matemática-Computación 4
- Graph theory 3
- Teoría de grafos 3
- Analysis of algorithms and problem complexity 2
- Análisis de algoritmos y problemas de complejidad 2
- Artificial intelligence 2
- Distributed systems 2
- Inteligencia artificial 2
- Language classifications 2
- Lenguajes de programación-Definiciones formales y teoría 2
- Natural language processing 2
- Network operations 2
- Operaciones en red 2
- Procesadores 2
- Procesamiento del lenguaje natural 2
- Processors 2
- Programas-Especificación 2
- Programas-Verificación 2
- Programming languages-Formal definitions and theory 2
- Programs-Specification 2
- Programs-Verification 2
- Sistemas distribuidos 2
- Administración de software 1
-
1
Graph grammars and their application to computer science /
Published 1996Subjects:Conference Proceeding Book -
2
New trends in formal languages : control, cooperation and combinatorics /
Published 1997Subjects:Book -
3
-
4
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
5
-
6
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996Subjects:Conference Proceeding Book -
7
-
8
Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Ma...
Published 1998Subjects:Conference Proceeding Book -
9
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996Subjects:Book -
10
Building tightly integrated software development environments : the IPSEN approach /
Published 1996Subjects:Book -
11
-
12
The data parallel programming model : foundations, HPF realization and scientific applications /
Published 1996Subjects:Book -
13
-
14
-
15
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book