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
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of
View Other Search Results
Yazar
De Nivelle, Hans. editor.
Format:
Electronic Resources
Alıntı:
from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus
Yazar
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Alıntı:
Project -- From Sets to Bits in Coq -- From proposition to program: embedding the refinement calculus in
Yazar
Fischbach, Kai. editor.
Format:
Electronic Resources
Alıntı:
2014 and the 2nd Workshop on Network Calculus, WoNeCa 2014.
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
MSVL -- Present-Future Form Graph of Linear Time μ-Calculus -- Prototype Tool for Supporting A Formal
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy
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
Yazar
Lindley, Sam. editor.
Format:
Electronic Resources
Alıntı:
Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than
Yazar
Hildebrandt, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: