- Lenguajes de programación 12
- Lógica matemática
- Mathematical logic 12
- Programming languages
- Lenguajes formales 10
- Formal languages 9
- Logics and meanings of programs 6
- Lógica y significado de programas 6
- Deducción y prueba de teoremas 5
- Deduction and theorem proving 5
- Ingeniería de software 5
- Software engineering 5
- Computation by abstract devices 4
- Programación-Técnicas 3
- Programming techniques 3
- Algebraic manipulation 2
- Analysis of algorithms and problem complexity 2
- Automatic programming 2
- Computación mediante dispositivos abstractos 2
- Manipulación algebraica 2
- Programación automática 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Administración de base de datos 1
- Almacenaje y recuperación de la información 1
- Analisis de algoritmos y problemas de complejida 1
- Análisis de algoritmos y problemas de complejidad 1
- Artificial intelligence 1
- Asistencia de diseños 1
- Computación mediante dipositivos abstractos 1
-
1
-
2
Rewriting techniques and applications /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
3
Programming languages and systems-ESOP'96 /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
4
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Subjects:Conference Proceeding Book -
5
Conditional and typed rewriting systems : Proceedings /
Published 1995Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
6
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
Published 1997Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
7
SOFSEM'95 : theory and practice /
Published 1995Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
8
Algebraic and logic programming /
Published 1994Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
9
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
10
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...
Published 2009Subjects:Conference Proceeding Book -
11
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
12