- Lenguajes formales
- Formal languages 32
- Lógica matemática 28
- Mathematical logic 25
- Lógica y significado de programas 23
- Logics and meanings of programs 21
- Deducción y prueba de teoremas 13
- Lenguajes de programación 12
- Deduction and theorem proving 11
- Programming languages 11
- Software engineering 9
- Analysis of algorithms and problem complexity 8
- Análisis de algoritmos y problemas de complejidad 7
- Computation by abstract devices 7
- Ingeniería de software 7
- Computación mediante dispositivos abstractos 6
- Grammars and other rewriting systems 6
- Gramáticas y otros sistemas de reescritura 6
- Logic programming 6
- Representación del conocimiento, métodos, formas y scripts 6
- Programación-Técnicas 5
- Algebraic manipulation 4
- Artificial intelligence 4
- Computational geometry and object modeling 4
- Data structures 4
- Estructura de datos 4
- Graph theory 4
- Inteligencia artificial 4
- Manipulación algebraica 4
- Programación en lógica 4
-
1
Automatic ambiguity resolution in natural language processing : an empirical approach /
Published 1996“…Lecture notes in computer science ;…”
Book -
2
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
-
4
Conditional and typed rewriting systems : Proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
5
Algebraic and logic programming /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
6
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book -
7
Computer science logic /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
8
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published 1994“…Lecture notes in computer science ;…”
Book -
9
Algebraic logic and universal algebra in computer science /
Published 1990“…Lecture notes in computer science ;…”
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 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
11
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /
Published 2009“…Lecture notes in computer science,…”
Conference Proceeding Book -
12
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
Published 2012“…Lecture notes in computer science ;…”
Book -
13
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /
Published 2013“…Lecture notes in computer science ;…”
Book -
14
Word equations and related topics /
Published 1992“…Lecture notes in computer science ;…”
Conference Proceeding Book -
15
Graph grammars and their application to computer science /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
16
Algebraic methodology and software technology /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
17
Algebraic methodology and software technology /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
18
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
19
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 -
20
Computer science logic /
Published 1997“…Lecture notes in computer science ;…”
Conference Proceeding Book