- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 34
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
2008
- Beteiligte Personen und Organisationen
-
Schwinghammer, Jan
Sabel, David
Niehren, Joachim
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-60353
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.20242024, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Schwinghammer, Jan
- Sabel, David
- Niehren, Joachim
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 2008
Ähnliche Objekte (12)
CPE: a calculus for proving equivalence of expressions in a non-strict functional language
Visual Proving
Ideas on Optimistic Concurrency Control I
Concurrency 88 : proceedings
On synchronicity and concurrency in Petri nets
Automated theorem proving
Automated theorem proving
Chapter III. On Symbolical Equivalence.
28th International Conference on Concurrency Theory (CONCUR 2017)
30th International Conference on Concurrency Theory (CONCUR 2019)
27th International Conference on Concurrency Theory (CONCUR 2016)
31st International Conference on Concurrency Theory (CONCUR 2020)
CPE: a calculus for proving equivalence of expressions in a non-strict functional language
Visual Proving
Ideas on Optimistic Concurrency Control I
Concurrency 88 : proceedings
On synchronicity and concurrency in Petri nets
Automated theorem proving
Automated theorem proving
Chapter III. On Symbolical Equivalence.
28th International Conference on Concurrency Theory (CONCUR 2017)
30th International Conference on Concurrency Theory (CONCUR 2019)
27th International Conference on Concurrency Theory (CONCUR 2016)
31st International Conference on Concurrency Theory (CONCUR 2020)
CPE: a calculus for proving equivalence of expressions in a non-strict functional language
Visual Proving
Ideas on Optimistic Concurrency Control I
Concurrency 88 : proceedings
On synchronicity and concurrency in Petri nets
Automated theorem proving
Automated theorem proving
Chapter III. On Symbolical Equivalence.
28th International Conference on Concurrency Theory (CONCUR 2017)
30th International Conference on Concurrency Theory (CONCUR 2019)
27th International Conference on Concurrency Theory (CONCUR 2016)