16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Zygelman, Bernard. author.
Format:
Electronic Resources
Alıntı:
it is accessible to students with only a first-year calculus background. Greater accessibility allows
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
-- Derivations and Proofs in the Predicate Logic -- Deductions in the Style of Gentzen's Sequent Calculus
View Other Search Results
Yazar
Posthoff, Christian. author.
Format:
Electronic Resources
Alıntı:
Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi
Yazar
Dixon, Clare. editor.
Format:
Electronic Resources
Alıntı:
-- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency
Yazar
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
Format:
Electronic Resources
Alıntı:
Substitution Calculus -- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms -- An
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
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
and Stratified Datalog Inference Engines in SSReect -- Weak Call-by-Value Lambda Calculus as a Model
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in
16 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: