- Lenguajes formales
- Formal languages 14
- Lógica matemática 14
- Mathematical logic 14
- Lenguajes de programación 10
- Logics and meanings of programs 10
- Lógica y significado de programas 10
- Programming languages 10
- Software engineering 8
- Deducción y prueba de teoremas 6
- Deduction and theorem proving 6
- Ingeniería de software 6
- Computation by abstract devices 4
- Logic programming 4
- Programación en lógica 4
- Programación-Técnicas 4
- Programming techniques 4
- Analysis of algorithms and problem complexity 3
- Algebraic manipulation 2
- Análisis de algoritmos y problemas de complejidad 2
- Automatic programming 2
- Computación mediante dispositivos abstractos 2
- Database management 2
- Ingenieria de software 2
- Manipulación algebraica 2
- Programación automática 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Special-purpose and application-based systems 2
- Administración de base de datos 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
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects: “…Programación aplicativa.…”
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
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009Subjects:Conference Proceeding Book -
11
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 -
12
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
13
-
14
-
15