Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- especificacion formal 2 Treffer
- formal language 2 Treffer
- formal specification 2 Treffer
- langage formel 2 Treffer
- language theory 2 Treffer
-
45 weitere Werte:
- language theory and syntactical analysis 2 Treffer
- lenguaje formal 2 Treffer
- semantica 2 Treffer
- semantics 2 Treffer
- semantique 2 Treffer
- specification formelle 2 Treffer
- teoria lenguaje 2 Treffer
- theorie des langages et analyse syntaxique 2 Treffer
- theorie langage 2 Treffer
- abstract machine 1 Treffer
- algorithm 1 Treffer
- algorithme 1 Treffer
- algorithmics. computability. computer arithmetics 1 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 1 Treffer
- algoritmo 1 Treffer
- analisis programa 1 Treffer
- analyse programme 1 Treffer
- atm network 1 Treffer
- automata a pila 1 Treffer
- automate a pile 1 Treffer
- axiomatic 1 Treffer
- axiomatico 1 Treffer
- axiomatique 1 Treffer
- calcul formel 1 Treffer
- calculo formal 1 Treffer
- computer algebra 1 Treffer
- computer network 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- decidabilite 1 Treffer
- decidability 1 Treffer
- decidibilidad 1 Treffer
- distributed system 1 Treffer
- high order logic 1 Treffer
- lambda calcul 1 Treffer
- lambda calculo 1 Treffer
- lambda calculus 1 Treffer
- logique ordre superieur 1 Treffer
- machine abstraite 1 Treffer
- maquina abstracta 1 Treffer
- model checking 1 Treffer
- program analysis 1 Treffer
- push down automaton 1 Treffer
- real time 1 Treffer
- red ordenador 1 Treffer
- reduccion 1 Treffer
Publikation
Sprache
3 Treffer
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 277-293KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 28-45KonferenzZugriff:
-
In: Types for proofs and programs (Aussois, 15-19 December 1996, selected papers), 1998, S. 134-153KonferenzZugriff: