Top 50 calculi PDF Book
Program Design Calculi
Carroll Morgan (auth.), Manfred Broy (eds.)
·418 Pages
·1993
·13.417 MB
Hypersequent and Labelled Calculi for Intermediate Logics
45 Pages
·2013
·0.83 MB
Mobility in Process Calculi and Natural Computing
Bogdan Aman
·223 Pages
·2011
·2.14 MB
Differential Calculi and Linear Connections
Aristophanes Dimakis
·16 Pages
·0.14 MB
Relative Complexities of First Order Calculi
Elmar Eder (auth.)
·178 Pages
·1992
·7.175 MB
Deformations of Differential Calculi
J. Madore
·11 Pages
·0.12 MB
Specimen calculi fluxionalis
Gerard Meeerman
·112 Pages
·1742
·2.963 MB
Existence Families, Functional Calculi and Evolution Equations
Ralph deLaubenfels (auth.)
·253 Pages
·1994
·3.219 MB
Cut-eliminability in second order logic calculi
Toshiyasu Arai
·0.2 MB
Domains and Lambda-Calculi
Roberto M. Amadio, Pierre-Louis Curien
·536 Pages
·1998
·3.447 MB
Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France
Richard S. Bird
·451 Pages
·1997
·38.95 MB
Mobility in Process Calculi and Natural Computing
Bogdan Aman, Gabriel Ciobanu (auth.)
·223 Pages
·2011
·2.139 MB
Differential Calculi on Quantum (Sub-) Groups and Their Classical Limit
F. M"uller-Hoissen
·12 Pages
·0.16 MB
Theory Reasoning in Connection Calculi
Peter Baumgartner (auth.)
·289 Pages
·1998
·1.828 MB
The calculi of lambda-conversion
Church, Alonzo
·92 Pages
·1941
·6.56 MB
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings
Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.)
·441 Pages
·1993
·7.948 MB
Existence families, functional calculi and evolution equations
Ralph DeLaubenfels
·272 Pages
·1994
·9.154 MB
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
·452 Pages
·1995
·6.89 MB
Spectral triples and differential calculi related to the Kronecker foliation
R. Matthes
·27 Pages
·0.27 MB
Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi
·223 Pages
·2011
·1.433 MB
Unification of Fractional Calculi with Applications
George A. Anastassiou
·422 Pages
·2021
·5.335 MB
Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Howard Bowman, Rodolfo Gomez (auth.)
·443 Pages
·2006
·2.325 MB
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
Jean-Marc Andreoli (auth.)
·409 Pages
·1999
·8.28 MB
