- Grammars and other rewriting systems 15
- Gramáticas y otros sistemas de reescritura 15
- 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
- Artificial intelligence 3
- Ciencias médicas y de la vida 3
- Computadoras en otros sistemas 3
- Computers in other systems 3
- Graph theory 3
- Inteligencia artificial 3
- Life and medical sciences 3
- Special-purpose and application-based systems 3
- Teoría de grafos 3
- Analysis of algorithms and problem complexity 2
- Análisis de algoritmos y problemas de complejidad 2
- Distributed systems 2
- Ingeniería asistida por computadoras 2
- Language classifications 2
- Lenguajes de programación-Definiciones formales y teoría 2
- Metrics 2
- Natural language processing 2
- Network operations 2
- Operaciones en red 2
- Procesadores 2
- Procesadores-Arquitectura 2
- Procesamiento del lenguaje natural 2
-
1
Estudio numérico de la dinámica fuera del equilibrio del modelo de Hopfield /
Published 1999Subjects:Thesis Book -
2
New trends in formal languages : control, cooperation and combinatorics /
Published 1997Subjects: “…Gramáticas y otros sistemas de reescritura.…”
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
Propiedades dinámicas del modelo hipercelda de vidrios de spin /
Published 1997Subjects:Thesis Book -
7
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996Subjects:Conference Proceeding Book -
8
-
9
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 -
10
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996Subjects:Book -
11
Building tightly integrated software development environments : the IPSEN approach /
Published 1996Subjects:Book -
12
-
13
The data parallel programming model : foundations, HPF realization and scientific applications /
Published 1996Subjects:Book -
14
-
15
Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
16
-
17
-
18
-
19
Graph grammars and their application to computer science /
Published 1996Subjects: “…Gramáticas y otros sistemas de reescritura.…”
Conference Proceeding Book -
20
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects:Conference Proceeding Book