- Lenguajes formales
- Formal languages 16
- Lógica matemática 16
- Mathematical logic 16
- Deducción y prueba de teoremas 11
- Deduction and theorem proving 11
- Logics and meanings of programs 10
- Lógica y significado de programas 10
- Lenguajes de programación 7
- Programming languages 6
- Logic programming 5
- Algebraic manipulation 3
- Deducton and theorem proving 3
- Manipulación algebraica 3
- Programación en lógica 3
- Representación del conocimiento, métodos, formas y scripts 3
- Automatic programming 2
- Clasificación de lenguajes 2
- Data structures 2
- Estructura de datos 2
- Ingenieria de software 2
- Lambda calculus 2
- Language classifications 2
- Programación automática 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Software engineering 2
- Special-purpose and application-based systems 2
- Administración de bases de datos 1
- Analysis of algorithms 1
-
1
-
2
-
3
Conditional and typed rewriting systems : Proceedings /
Published 1995Subjects:Conference Proceeding Book -
4
-
5
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997Subjects:Conference Proceeding Book -
6
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009Subjects:Conference Proceeding Book -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
Foundations of software technology and theoretical computer science /
Published 1995Subjects:Conference Proceeding Book