Detail

Publication date: 01/10/2007

Integrating Temporal Annotations in a Modular Logic Language

Authors

Vitor Nogueira, Dietmar Siepel, Salvador Abreu, Michael Hanus, Armin Wolf, Joachim Baumeister,

Publisher Bayerische Julius-Maximilians-Universität Würzburg
Volume TR 434
Publisher Bayerische Julius-Maximilians-Universität Würzburg
Volume TR 434