- Lógica matemática
- Mathematical logic 19
- Lenguajes formales 14
- Formal languages 13
- Lenguajes de programación 12
- Programming languages 12
- Logics and meanings of programs 11
- Lógica y significado de programas 11
- Software engineering 8
- Deducción y prueba de teoremas 7
- Deduction and theorem proving 7
- Ingeniería de software 6
- Logic programming 5
- Programación-Técnicas 5
- Programming techniques 5
- Computation by abstract devices 4
- Programación en lógica 4
- Analysis of algorithms and problem complexity 3
- Automatic programming 3
- Programación automática 3
- Programas-Especificación 3
- Programas-Verificación 3
- Programs-Specification 3
- Programs-Verification 3
- Special-purpose and application-based systems 3
- Algebraic manipulation 2
- Análisis de algoritmos y problemas de complejidad 2
- Artificial intelligence 2
- Computación mediante dispositivos abstractos 2
- Database management 2
-
1
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, Boise State University, Boise, Idaho
Published 1996Subjects:Conference Proceeding Book -
2
Logic program synthesis and transformation /
Published 1996Subjects: “…Programación automática.…”
Conference Proceeding Book -
3
-
4
Rewriting techniques and applications /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
5
Logic program synthesis and transformation /
Published 1997Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
6
Programming languages and systems-ESOP'96 /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
7
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Subjects:Conference Proceeding Book -
8
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
9
Conditional and typed rewriting systems : Proceedings /
Published 1995Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
10
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 -
11
SOFSEM'95 : theory and practice /
Published 1995Subjects: “…Programación-Técnicas.…”
Conference Proceeding Book -
12
Algebraic and logic programming /
Published 1994Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
13
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 -
14
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009Subjects:Conference Proceeding Book -
15
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 -
16
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 -
17
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 -
18
-
19
-
20