Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and
Yazar
Casadio, Claudia. editor.
Format:
Electronic Resources
Alıntı:
-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus.
View Other Search Results
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- Measurements in Proof Nets as Higher-Order Quantum Circuits -- Automatic Termination
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate -- An
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational
Yazar
Diaz, Josep. editor.
Format:
Electronic Resources
Alıntı:
Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
Theory and Lambda Calculus Unary Resolution: Characterizing Ptime -- Focused and Synthetic Nested
Yazar
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
Completeness Result for Finite λ-bisimulations -- Sequent Calculus in the Topos of Trees -- Modal and Temporal
Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
of functional programming on semantic data -- A Classical Sequent Calculus with Dependent Types
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
ᴨ-Calculus -- Local Model Checking in a Logic for True Concurrency -- The Paths to Choreography Extraction
Yazar
Esparza, Javier. editor.
Format:
Electronic Resources
Alıntı:
Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear Recurrence Sequences
Arama Sonuçlarını Sınırlandır
Daraltılmış: