More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 192

> 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 192, Number 1, 10 February 1998

Sixth International Conference on Rewriting Systems and Applications, April 5-7, 1995, University of Kaiserslautern, Germany

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MayrN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MayrN98
Richard Mayr, Tobias Nipkow:
Higher-Order Rewrite Systems and Their Confluence. 3-29
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Marchiori98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Marchiori98
Massimo Marchiori:
Bubbles in Modularity. 31-54
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Senizergues98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Senizergues98
Géraud Sénizergues:
A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems. 55-75
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AnantharamanR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AnantharamanR98
Siva Anantharaman, Gilles Richard:
A Rewrite Mechanism for Logic Programs with Negation. 77-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaaderS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaaderS98
Franz Baader, Klaus U. Schulz:
Combination of Constraint Solvers for Free and Quasi-Free Structures. 107-161

Volume 192, Number 2, 20 February 1998

Theoretical Aspects of Coordination Languages

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GorrieriH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GorrieriH98
Roberto Gorrieri, Chris Hankin:
Foreword: Theoretical Aspects of Coordination Languages. 163-165
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BusiGZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BusiGZ98
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
A Process Algebraic View of Linda Coordination Primitives. 167-199
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dami98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dami98
Laurent Dami:
A Lambda-Calculus for Dynamic Binding. 201-231
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HankinMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HankinMS98
Chris Hankin, Daniel Le Métayer, David Sands:
Refining Multiset Tranformers. 233-258
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MonteiroP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MonteiroP98
Luís Monteiro, António Porto:
Entailment-Based Actions for Coordination. 259-286
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MukherjiK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MukherjiK98
Manibrata Mukherji, Dennis G. Kafura:
A Process-Calculus-Based Abstraction for Coordinating Multi-Agent Groups. 287-314
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wegner98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wegner98
Peter Wegner:
Interactive Foundations of Computing. 315-351

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.