default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 308

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 308, Number 1-3, November 2003

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rutten03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rutten03
Jan J. M. M. Rutten:
Behavioural differential equations: a coinductive calculus of streams, automata, and power series. 1-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FuY03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FuY03a
Yuxi Fu, Zhenrong Yang:
Tau laws for pi calculus. 55-130
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GummHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GummHS03
H. Peter Gumm, Jesse Hughes, Tobias Schröder:
Distributivity of categories of coalgebras. 131-143
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Keller03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Keller03
Walter Keller:
Clustering for Petri nets. 145-197
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AfratiGT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AfratiGT03
Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni:
Linearisability on datalog programs. 199-226
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NourR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NourR03
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanvyN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanvyN03
Olivier Danvy, Lasse R. Nielsen:
A first-order one-pass CPS transformation. 239-257
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Krivine03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Krivine03
Jean-Louis Krivine:
Dependent choice, 'quote' and the clock. 259-276
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CharatonikDGMT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CharatonikDGMT03
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot:
Model checking mobile ambients. 277-331
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KerNO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KerNO03
Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong:
Adapting innocent game models for the Böhm treelambda -theory. 333-366
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Chen03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Chen03a
Yifeng Chen:
A fixpoint theory for non-monotonic parallelism. 367-392
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MateusMNPSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MateusMNPSS03
Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas:
Categorical foundations for randomly timed automata. 393-427
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LoyerSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LoyerSS03
Yann Loyer, Nicolas Spyratos, Daniel Stamate:
Parametrized semantics of logic programs--a unifying framework. 429-447
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Abraham03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abraham03
Uri Abraham:
Self-stabilizing timestamps. 449-515

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.