- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2008-11
- Classification
-
Informatik
- Keyword
-
Verifikation
Temporale Logik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2008
- Contributor
-
Bäumler, Simon
Balser, Michael
Reif, Wolfgang
Schmitt, Jonathan
- URN
-
urn:nbn:de:bvb:384-opus4-10417
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:44 AM CEST
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
- Bäumler, Simon
- Balser, Michael
- Reif, Wolfgang
- Schmitt, Jonathan
- Universität Augsburg
Time of origin
- 2008
Other Objects (12)
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism
Parallelism constraints in underspecified semantics
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism
Parallelism constraints in underspecified semantics
Language independent modelling of parallelism
Degrees of parallelism
From Synchronous to Asynchronous Event-driven Fusion Approaches in Multi-modal Affect Recognition
Beat-synchronous data-driven automatic chord labeling
Sustainable language teaching
The EPKML language
Transhumanism in language teaching
Using the internal language of toposes in algebraic geometry
English and foreign language teaching in the German Gymnasium
Reseña de Bickerton, Derek. 2016. Roots of language. Berlin: Language Science Press
Epistemic ownership and the practical/epistemic parallelism