Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006347203/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b8860578.
- catalog contributor b8860579.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description "Discrete Time Process Algebra with Abstraction / J.C.M. Baeten and J.A. Bergstra -- A Duration Calculus with Infinite Intervals / Z. Chaochen, D.V. Hung and L. Xiaoshan -- A Delegation-Based Object Calculus with Subtyping / K. Fisher and J.C. Mitchell -- Model-Checking for Real-Time Systems / K.G. Larsen, P. Pettersson and W. Yi -- On Polynomial Ideals, Their Complexity, and Applications / E.W. Mayr -- From a Concurrent [lambda]-Calculus to the [pi]-Calculus / R.M. Amadio, L. Leth and B. Thomsen -- Rewriting Regular Inequalities / V. Antimirov -- A Simple Abstract Semantics for Equational Theories / G. Barthe -- Processes with Multiple Entries and Exits / J.A. Bergstra and G.H. Stefanescu -- Efficient Rewriting in Cograph Trace Monoids / M. Bertol -- Effective Category and Measure in Abstract Complexity Theory / C. Calude and M. Zimand -- About Planar Cayley Graphs / Th. Chaboud.".
- catalog description "Includes bibliographical references.".
- catalog extent "ix, 433 p. :".
- catalog hasFormat "Fundamentals of computation theory.".
- catalog identifier "3540602496 (pbk. : alk. paper)".
- catalog isFormatOf "Fundamentals of computation theory.".
- catalog isPartOf "Lecture notes in computer science ; 965".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Fundamentals of computation theory.".
- catalog subject "004 20".
- catalog subject "Electronic data processing Congresses.".
- catalog subject "QA75.5 .F367 1995".
- catalog tableOfContents "Discrete Time Process Algebra with Abstraction / J.C.M. Baeten and J.A. Bergstra -- A Duration Calculus with Infinite Intervals / Z. Chaochen, D.V. Hung and L. Xiaoshan -- A Delegation-Based Object Calculus with Subtyping / K. Fisher and J.C. Mitchell -- Model-Checking for Real-Time Systems / K.G. Larsen, P. Pettersson and W. Yi -- On Polynomial Ideals, Their Complexity, and Applications / E.W. Mayr -- From a Concurrent [lambda]-Calculus to the [pi]-Calculus / R.M. Amadio, L. Leth and B. Thomsen -- Rewriting Regular Inequalities / V. Antimirov -- A Simple Abstract Semantics for Equational Theories / G. Barthe -- Processes with Multiple Entries and Exits / J.A. Bergstra and G.H. Stefanescu -- Efficient Rewriting in Cograph Trace Monoids / M. Bertol -- Effective Category and Measure in Abstract Complexity Theory / C. Calude and M. Zimand -- About Planar Cayley Graphs / Th. Chaboud.".
- catalog title "Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / Horst Reichel, (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".