Logout succeed
Logout succeed. See you again!
Top 50 calculi PDF Book
Try WiseWorksheets to request a book.
Program Design Calculi
Carroll Morgan (auth.), Manfred Broy (eds.)
418 Pages
1993
13.417 MB
Hypersequent and Labelled Calculi for Intermediate Logics
45 Pages20130.83 MB
Mobility in Process Calculi and Natural Computing
Bogdan Aman223 Pages20112.14 MB
Differential Calculi and Linear Connections
Aristophanes Dimakis16 Pages0.14 MB
Relative Complexities of First Order Calculi
Elmar Eder (auth.)178 Pages19927.175 MB
Deformations of Differential Calculi
J. Madore11 Pages0.12 MB
Specimen calculi fluxionalis
Gerard Meeerman112 Pages17422.963 MB
Existence Families, Functional Calculi and Evolution Equations
Ralph deLaubenfels (auth.)253 Pages19943.219 MB
Cut-eliminability in second order logic calculi
Toshiyasu Arai0.2 MB
Domains and Lambda-Calculi
Roberto M. Amadio, Pierre-Louis Curien536 Pages19983.447 MB
Mobility in Process Calculi and Natural Computing
Bogdan Aman, Gabriel Ciobanu (auth.)223 Pages20112.139 MB
Differential Calculi on Quantum (Sub-) Groups and Their Classical Limit
F. M"uller-Hoissen12 Pages0.16 MB
Theory Reasoning in Connection Calculi
Peter Baumgartner (auth.)289 Pages19981.828 MB
The calculi of lambda-conversion
Church, Alonzo92 Pages19416.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 Pages19937.948 MB
Existence families, functional calculi and evolution equations
Ralph DeLaubenfels272 Pages19949.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 Pages19956.89 MB
Spectral triples and differential calculi related to the Kronecker foliation
R. Matthes27 Pages0.27 MB
Gentzen Calculi for Modal Propositional Logic
Francesca Poggiolesi223 Pages20111.433 MB
Unification of Fractional Calculi with Applications
George A. Anastassiou422 Pages20215.335 MB
Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
Howard Bowman, Rodolfo Gomez (auth.)443 Pages20062.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 Pages19998.28 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
