Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	April 2024
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / categoricalmodelsandlogics / concurrencytheory / emergingmodelsofcomputation / Informationstheorie / languagetheory,automata,andgames / logicalaspectsofcomputationalcomplexity / logicsofprogramming / Mathematik für Informatiker / modal,spatial,andtemporallogics / modelsofsoftwaresecurity / OpenAccess / ProgramAnalysis / softwarespecificationandrefinement / Systemanalyse und -design mehr...
ISBN:	9783031572302
EAN-Code:	9783031572302
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	441 gr
Seiten:	288
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Types and Programming Languages.- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory.- Light Genericity.- Logical Predicates in Higher-Order Mathematical Operational Semantics.- On Basic Feasible Functionals and the Interpretation Method.- Logic and Proofs.- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.- A Resolution-Based Interactive Proof System for UNSAT.- Craig Interpolation for Decidable First-Order Fragments.- Clones, closed categories, and combinatory logic.- Infinite-State Systems.- Reachability in Fixed VASS: Expressiveness and Lower Bounds.- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.- Dimension-Minimality and Primality of Counter Nets.- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.