登入選單
Google圖書搜尋
Processes, Terms and Cycles: Steps on the Road to ...
作者
Aart Middeldorp / Vincent van Oostrom / Femke van Raamsdonk / Roel de Vrijer
出版Springer, 2005-12-11
ISBN
9783540324256 / 3540324259
主題
Mathematics
Mathematical Centre Tracts
出版1963
ISBN
9061962005 / 9789061962007
主題
Combinatory logic
An Analysis of Loop Checking Mechanisms for Logic ...
作者
Roland N. Bol / Krzysztof R. Apt / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology / Jan Willem Klop
出版1989
ISBN
OCLC:21919728
主題
Deductive databases
On the Consistency of Koomen's Fair Abstraction Ru...
作者
J. C. M. Baeten / Jan A. Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:17497375
主題
Approximation theory
Combinatory reduction systems
作者
J. W. Klop
出版1980
ISBN
OCLC:878754556
ACP[subscript [tau]]: a Universal Axiom System for...
作者
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). / J. A. Bergstra / J. W. Klop
出版1987
ISBN
OCLC:271832703
Verification of an Alternating Bit Protocol by Mea...
作者
Jan A. Bergstra / J. W. Klop
出版1984
ISBN
OCLC:256071196
ACPγ̳, a Universal Axiom System for Process Specif...
作者
J. A. Bergstra
出版1987
ISBN
OCLC:1086618598
主題
Logic programming
Failures Without Chaos: a New Process Semantics fo...
作者
Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). / J. A. Bergstra / J. W. Klop / E.-R. Olderog
出版1986
ISBN
OCLC:1086635641
主題
Abstraction
Algebra of Communicating Processes
作者
Jan A. Bergstra / Jan Willem Klop
出版1984
ISBN
OCLC:123311406
主題
Data flow computing
Conditional Rewrite Rules
作者
J. A. Bergstra / J. W. Klop
出版1982
ISBN
OCLC:258368343
Albegra of Communicating Processes
作者
J. A. Bergstra / J. W. Klop / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Computer Science
出版1984
ISBN
OCLC:35427100
Needed Reduction and Spine Strategies for the Lamb...
作者
J. R. Kennaway / J. W. Klop / M. R. Sleep
出版1986
ISBN
OCLC:15579651
主題
Computer programming
Mathematical Centre Tracts
出版1963
ISBN
OCLC:5590561
A Complete Inference System for Regular Processes ...
作者
J. A. Bergstra / J. W. Klop
出版1984
ISBN
OCLC:222455791
主題
Algebra
Process Algebra for Communication and Mutual Exclu...
作者
Jan A. Bergstra / Jan Willem Klop
出版1983
ISBN
OCLC:256042945
Readies and Failures in the Algebra of Communicati...
作者
Jan A. Bergstra / Jan Willem Klop / E.-R. Olderog
出版1987
ISBN
OCLC:18476000
主題
Graph theory
ACP [symbol for Abstraction
作者
J. A. Bergstra / J. W. Klop
出版1987
ISBN
OCLC:18574774
主題
Algebra
A Complete Inference System for Rgular Processes w...
作者
Jan A. Bergstra / J. W. Klop
出版1984
ISBN
OCLC:897701104
Term Rewriting Systems with Rule Priorities
作者
J. C. M. Baeten / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Software Technology / Jan A. Bergstra / Jan Willem Klop / Willem Pieter Weijland
出版1988
ISBN
OCLC:19860936
主題
Rewriting systems (Computer science)
Syntax and Defining Equations for an Interrupt Mec...
作者
J. C. M. Baeten / J. A. Bergstra / J. W. Klop
出版1985
ISBN
OCLC:17440268
主題
Algebra
Ready Trace Semantics for Concrete Process Algebra...
作者
J. C. M. Baeten / Jan A. Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:17870954
主題
Parallel processing (Electronic computers)
Albegra of Communicating Processes with Abstractio...
作者
J. A. Bergstra / J. W. Klop / Mathematisch Centrum (Amsterdam, Netherlands). Afdeling Informatica
出版1984
ISBN
OCLC:35443961
Strongly Sequential Rewriting Systems
作者
J. W. Klop / A. Middeldorp
出版1987
ISBN
OCLC:897700683
Transfinite Reductions in Orthogonal Term Rewritin...
出版1990
ISBN
OCLC:24021693
主題
Rewriting systems (Computer science)
A Convergence Theorem in Process Algebra
作者
J. A. Bergstra / J. W. Klop
出版1987
ISBN
OCLC:17418980
主題
Algebra
Conditional Axioms and [alpha]/[beta] Calculus in ...
作者
Josephus Cornelis Maria Baeten / Johannes Aldert Bergstra / Jan Willem Klop
出版1985
ISBN
OCLC:256101600
Conditional Axioms and [alpha]/[beta] Calculus in ...
作者
J. C. M. Baeten / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). Department of Computer Science / J. A. Bergstra / J. W. Klop
出版1985
ISBN
OCLC:35427557
Conditional Axioms and A/b Calculus in Process Alg...
作者
J. C. M. Baeten / J. A. Bergstra / J. W. Klop
出版1985
ISBN
OCLC:17440427
主題
Algebra
Term Rewriting Systems
作者
J. W. Klop
出版1990
ISBN
OCLC:24924115
主題
Abstract data types (Computer science)