Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 308
Volume 308, Number 1-3, November 2003
- Jan J. M. M. Rutten:
Behavioural differential equations: a coinductive calculus of streams, automata, and power series. 1-53 - Yuxi Fu, Zhenrong Yang:
Tau laws for pi calculus. 55-130 - H. Peter Gumm, Jesse Hughes, Tobias Schröder:
Distributivity of categories of coalgebras. 131-143 - Walter Keller:
Clustering for Petri nets. 145-197 - Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni:
Linearisability on datalog programs. 199-226 - Karim Nour, Christophe Raffalli:
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. 227-237 - Olivier Danvy, Lasse R. Nielsen:
A first-order one-pass CPS transformation. 239-257 - Jean-Louis Krivine:
Dependent choice, 'quote' and the clock. 259-276 - Witold Charatonik, Silvano Dal-Zilio
, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
Model checking mobile ambients. 277-331 - Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong:
Adapting innocent game models for the Böhm treelambda -theory. 333-366 - Yifeng Chen:
A fixpoint theory for non-monotonic parallelism. 367-392 - Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas:
Categorical foundations for randomly timed automata. 393-427 - Yann Loyer, Nicolas Spyratos, Daniel Stamate:
Parametrized semantics of logic programs--a unifying framework. 429-447 - Uri Abraham:
Self-stabilizing timestamps. 449-515
a service of 
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 2024-07-07 08:26 CEST 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:
