22 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Göbel, Susanne. author.
Format:
Electronic Resources
Alıntı:
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of
Yazar
Piessens, Frank. editor.
Format:
Electronic Resources
Alıntı:
Countable Families -- Computational Soundness Results for Stateful Applied pi Calculus. .
View Other Search Results
Yazar
Holvoet, Tom. editor.
Format:
Electronic Resources
Alıntı:
Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi -- A Fix point-Based Calculus for Graph-Shaped
Yazar
de Paiva, Valeria. editor.
Format:
Electronic Resources
Alıntı:
-- Proof-theoretic aspects of the Lambek-Grishin Calculus -- Syllogistic Logic with "Most" -- Characterizing Frame
Yazar
Abadi, Martín. editor.
Format:
Electronic Resources
Alıntı:
Calculus -- Computational Soundness Results for ProVerif: Bridging the Gap from Trace Properties to
Yazar
Kohlenbach, Ulrich. editor.
Format:
Electronic Resources
Alıntı:
-- Ancestral Logic: a Proof Theoretical Study -- A Calculus of Anyons -- Theorems on Pre-Fixed Points of
Yazar
van den Herik, Jaap. editor.
Format:
Electronic Resources
Alıntı:
Cut-free Sequent Calculus -- Application of PSO-based Constrained Combinatorial Optimization to Segment
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local
Yazar
Kurgalin, Sergei. author.
Format:
Electronic Resources
Alıntı:
with basic rules for differential and integral calculus This hands-on study guide is designed to
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency
Yazar
Dixon, Clare. editor.
Format:
Electronic Resources
Alıntı:
-- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description
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
22 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: