Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 18 Treffer
- mathematiques 18 Treffer
- sciences and techniques of general use 17 Treffer
- sciences et techniques communes 17 Treffer
- logic and foundations 16 Treffer
-
45 weitere Werte:
- logique et fondements 16 Treffer
- logique mathematique, fondements, theorie des ensembles 16 Treffer
- mathematical logic, foundations, set theory 16 Treffer
- logiciel 12 Treffer
- software 12 Treffer
- program verification 10 Treffer
- verificacion programa 10 Treffer
- verification programme 10 Treffer
- automatic proving 8 Treffer
- demonstration automatique 8 Treffer
- demostracion automatica 8 Treffer
- fonctions logiques, booleennes et de commutation 8 Treffer
- logical, boolean and switching functions 8 Treffer
- proof theory and constructive mathematics 8 Treffer
- theorie de la preuve et mathematiques constructives 8 Treffer
- computer systems performance. reliability 7 Treffer
- divers 7 Treffer
- miscellaneous 7 Treffer
- performances des systemes informatiques. fiabilite 7 Treffer
- computer theory 6 Treffer
- formal method 6 Treffer
- general logic 6 Treffer
- informatica teorica 6 Treffer
- logique generale 6 Treffer
- methode formelle 6 Treffer
- algorithmics. computability. computer arithmetics 5 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 5 Treffer
- language theory and syntactical analysis 5 Treffer
- metodo formal 5 Treffer
- semantica 5 Treffer
- semantics 5 Treffer
- semantique 5 Treffer
- theorie des langages et analyse syntaxique 5 Treffer
- compilador 4 Treffer
- compilateur 4 Treffer
- compiler 4 Treffer
- formal verification 4 Treffer
- genie logiciel 4 Treffer
- langage programmation 4 Treffer
- lenguaje programacion 4 Treffer
- preuve 4 Treffer
- programming language 4 Treffer
- proof 4 Treffer
- proof theory 4 Treffer
- prueba 4 Treffer
Verlag
Publikation
- formal aspects of computing 4 Treffer
- theoretical computer science 4 Treffer
- tsi. technique et science informatiques 3 Treffer
- acta informatica 2 Treffer
- higher-order and symbolic computation (print) 2 Treffer
-
11 weitere Werte:
- information and computation (print) 2 Treffer
- journal of automated reasoning 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
- journal of symbolic computation 1 Treffer
- journal of the association for computing machinery 1 Treffer
- models and paradigms for concurrency 1 Treffer
- special issue on automatic programming 1 Treffer
- structural operational semantics (sos) 1 Treffer
Sprache
24 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: Theoretical computer science, Jg. 412 (2011), Heft 11, S. 962-970Online academicJournal
-
In: Formal aspects of computing, Jg. 20 (2008), Heft 3, S. 259-275Online academicJournalZugriff:
-
In: Special issue on automatic programming, Jg. 15 (1993), Heft 5-6, S. 607-640Online academicJournalZugriff:
-
In: Structural Operational Semantics (SOS), Jg. 207 (2009), Heft 2, S. 284-304Online academicJournal
-
In: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: Higher-order and symbolic computation (Print), Jg. 22 (2009), Heft 2, S. 145-154academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 52 (2014), Heft 2, S. 215-239Online academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 9 (1997), Heft 1, S. 1-48Online academicJournalZugriff:
-
In: Acta informatica, Jg. 50 (2013), Heft 7-8, S. 359-380Online academicJournalZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 381-408academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: Higher-order and symbolic computation (Print), Jg. 22 (2009), Heft 3, S. 199-231academicJournalZugriff:
-
In: Formal aspects of computing, Jg. 16 (2004), Heft 4, S. 352-373Online academicJournalZugriff:
-
In: Models and Paradigms for Concurrency, Jg. 253 (2001), Heft 2, S. 239-285Online academicJournal
-
In: Information and computation (Print), Jg. 164 (2001), Heft 1, S. 199-231Online academicJournal