Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of
Yazar
De Nivelle, Hans. editor.
Format:
Electronic Resources
Alıntı:
from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus
View Other Search Results
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study
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
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
Abadi, Martín. editor.
Format:
Electronic Resources
Alıntı:
Psi-Calculi -- A Sorted Semantic Framework for Applied Process Calculi -- Static Deadlock Resolution in the
Yazar
Morrill, Glyn. editor.
Format:
Electronic Resources
Alıntı:
by Restarting Automata -- The conjoinability relation in discontinuous Lambek calculus -- The
Yazar
Lindley, Sam. editor.
Format:
Electronic Resources
Alıntı:
Lambda Calculus: Practice and Principle -- I Got Plenty o' Nuttin' -- Pointlessness Is Better than
Yazar
Doberkat, Ernst-Erich. author.
Format:
Electronic Resources
Alıntı:
elementary calculus including mathematical induction will discover a wealth of useful research tools
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
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
TSO Systems.- A Model of Dynamic Systems.- From Hierarchical BIP to Petri Calculus.- Programming and
Arama Sonuçlarını Sınırlandır
Daraltılmış: