- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 34
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2008
- Contributor
-
Schwinghammer, Jan
Sabel, David
Niehren, Joachim
Schmidt-Schauß, Manfred
- URN
-
urn:nbn:de:hebis:30-60353
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schwinghammer, Jan
- Sabel, David
- Niehren, Joachim
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2008
Other Objects (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)