- Lenguajes formales 3
- Lógica matemática 3
- Lógica y significado de programas 3
- Deducción y prueba de teoremas 2
- Formal languages 2
- Logics and meanings of programs 2
- Mathematical logic 2
- Computación mediante dispositivos abstractos 1
- Deduction and theorem proving 1
- Lenguajes de programación 1
- Programming languages 1
- Representación del conocimiento, métodos, formas y scripts 1
-
1
Computer science logic /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Higher-order algebra, logic and term rewriting /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book