Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- acp 2 Treffer
- coq 2 Treffer
- formal verification 2 Treffer
- process algebra 2 Treffer
- calculus 1 Treffer
-
16 weitere Werte:
- computer 1 Treffer
- computer science 1 Treffer
- computer.software_genre 1 Treffer
- direct proof 1 Treffer
- extraction 1 Treffer
- functional programming 1 Treffer
- program analysis 1 Treffer
- program derivation 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- proof complexity 1 Treffer
- software 1 Treffer
- structural proof theory 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- μcrl 1 Treffer
Verlag
Sprache
3 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), Heft 5/6, S. 484-517Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), S. 484-517Online unknownZugriff: