Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.6: model theory 1 Treffer
- archi 1 Treffer
- edu 1 Treffer
Verlag
Sprache
2 Treffer
-
In: ITP 2018 - 9th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01703524 ; ITP 2018 - 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.459-476, ⟨10.1007/978-3-319-94821-8_27⟩, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://hal.inria.fr/hal-01799712 ; FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩, 2018Online KonferenzZugriff: