default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 278

> 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 278, Number 1-2, May 2002

Mathematical Foundations of Programming Semantics 1996, Boulder, June 1996

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrookesM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrookesM02
Stephen D. Brookes, Michael W. Mislove:
Foreword - MFPS 1996. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Freyd02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Freyd02
Peter J. Freyd:
Cartesian logic. 3-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrooksM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrooksM02
Stephen D. Brookes, Michael W. Mislove:
Dedication. 23
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fitting02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fitting02
Melvin Fitting:
Fixpoint semantics for logic programming a survey. 25-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hennessy02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hennessy02
Matthew Hennessy:
A fully abstract denotational semantics for the pi-calculus. 53-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BucciarelliM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BucciarelliM02
Antonio Bucciarelli, Pasquale Malacaria:
Relative definability of boolean functions via hypergraphs. 91-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FiechS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FiechS02
Adrian Fiech, David A. Schmidt:
Polymorphic lambda calculus and subtyping. 111-140
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FlaggS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FlaggS02
Robert C. Flagg, Philipp Sünderhauf:
The essence of ideal completion in quantitative form. 141-158
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KunziS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KunziS02
Hans-Peter A. Künzi, Michel P. Schellekens:
On the Yoneda completion of a quasi-metric space. 159-194
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GastinT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GastinT02
Paul Gastin, Dan Teodosiu:
Resource traces: a domain for processes sharing exclusive resources. 195-221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GuptaJS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GuptaJS02
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming. 223-255
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Mulry02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Mulry02
Philip S. Mulry:
Lifting results for categories of algebras. 257-269
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Naumann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Naumann02
David A. Naumann:
Soundness of data refinement for a higher-order imperative language. 271-301
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Power02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Power02
John Power:
Premonoidal categories as categories with algebraic structure. 303-321
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PowerR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PowerR02
John Power, Giuseppe Rosolini:
Fixpoint operators for domain equations. 323-333

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.