- 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
-
2
-
3
Graph grammars and their application to computer science /
Published 1996Conference Proceeding Book -
4
-
5
-
6
-
7
-
8
-
9
-
10
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996Conference Proceeding Book -
11
-
12
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Conference Proceeding Book -
13
-
14
-
15
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Conference Proceeding Book