Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- atomic proposition 2 Treffer
- label transition system 2 Treffer
- natural transformation 2 Treffer
- atomic sentence 1 Treffer
- category theory 1 Treffer
-
15 weitere Werte:
- closure operation 1 Treffer
- completeness result 1 Treffer
- duality principle 1 Treffer
- inference rule 1 Treffer
- kripke model 1 Treffer
- linear temporal logic 1 Treffer
- modal formula 1 Treffer
- observational equality 1 Treffer
- partial algebra 1 Treffer
- proof system 1 Treffer
- propositional logic 1 Treffer
- propositional variable 1 Treffer
- schema variable 1 Treffer
- temporal logic 1 Treffer
- transition step 1 Treffer
Publikation
- recent trends in algebraic development techniques : 16th international workshop, wadt 2002, frauenchiemsee, germany, september 24-27, 2002, revised selected papers 4 Treffer
- concur 2004 - concurrency theory : 15th international conference, london, uk, august 31 - september 3, 2004. proceedings 1 Treffer
- frontiers of combining systems : 5th international workshop, frocos 2005, vienna, austria, september 19-21, 2005. proceedings 1 Treffer
6 Treffer
-
2005Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2003Online E-BookZugriff: