default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 140

> 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 140, Number 1, 20 March 1995

Selected Papers of the Third International Conference on Algebraic Methodology of Software Technology (AMAST'93), University of Twente, Enschede, The Netherlands, 21-25 June 1993

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PigozziS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PigozziS95
Don Pigozzi, Antonino Salibra:
Lambda Abstraction Algebras: Representation Theorems. 5-52
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaroussiniePS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaroussiniePS95
François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen:
Translations Between Modal Logics of Reactive Systems. 53-71
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GorrieriRS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GorrieriRS95
Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano:
A Theory of Processes with Durational Actions. 73-94
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MokkedemM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MokkedemM95
Abdelillah Mokkedem, Dominique Méry:
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. 95-138
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NavarroOS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NavarroOS95
Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. 139-177
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wagner95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wagner95
Eric G. Wagner:
On the Role of Memory in Object-Based and Object-Oriented Languages. 179-199

Volume 140, Number 2, 3 April 1995

Special Issue on Design and Analysis of Geometrical Algorithms for Robot Motion Planning and Vision

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DattasharmaK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DattasharmaK95
Abhi Dattasharma, S. Sathiya Keerthi:
An Augmented Voronoi Roadmap for 3D Translational Motion Planning for a Convex Polyhedron Moving Amidst Convex Polyhedral Obstacles. 205-230
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SarrafzadehM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SarrafzadehM95
Majid Sarrafzadeh, Sanjeev R. Maddila:
Discrete Warehouse Problem. 231-247
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PrasadI95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PrasadI95
Lakshman Prasad, S. Sitharama Iyengar:
A Note on the Combinatorial Structure of the Visibility Graph in Simple Polygons. 249-263
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Rao95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Rao95
Nageswara S. V. Rao:
On Fast Planning of Suboptimal Paths Amidst Polygonal Obstacles in Plane. 265-289
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SridharHC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SridharHC95
R. Sridhar, K. Han, N. Chandrasekharan:
Efficient Algorithms for Shortest Distance Queries on Special Classes of Polygons. 291-300
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BergGHOSST95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BergGHOSST95
Mark de Berg, Leonidas J. Guibas, Dan Halperin, Mark H. Overmars, Otfried Schwarzkopf, Micha Sharir, Monique Teillaud:
Reaching a Goal with Directional Uncertainty. 301-317
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Seetharaman95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Seetharaman95
Guna Seetharaman:
A Simplified Design Strategy for Mapping Image Processing Algorithms on a SIMD Torus. 319-331
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bettayeb95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bettayeb95
Saïd Bettayeb:
On the k-ary Hypercube. 333-339

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.