default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 744
Volume 744, October 2018
- Augusto Sampaio, Farn Wang:
Theoretical aspects of computing. 1-2 - Parvaneh Babari
, Manfred Droste, Vitaly Perevoshchikov:
Weighted register automata and weighted logic on data words. 3-21 - Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. 22-36 - Walter Guttmann:
An algebraic framework for minimum spanning tree problems. 37-55 - Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia:
Characterizing right inverses for spatial constraint systems with applications to modal logic. 56-77 - Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. 78-96 - Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Schedulers and finishers: On generating and filtering the behaviours of an event structure. 97-112 - Renato Neves, Luís Soares Barbosa:
Languages and models for hybrid automata: A coalgebraic perspective. 113-142 - Maike Schwammberger:
An abstract model for proving safety of autonomous urban traffic. 143-169
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-24 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
