Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science

Logical Foundations of Computer Science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2019

Herausgeber

Sergei Artemov + weitere

Verlag

Springer

Seitenzahl

287

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-36754-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2019

Herausgeber

Verlag

Springer

Seitenzahl

287

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-36754-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science

  • Computability of Algebraic and Definable Closure.- Observable Models.- Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics.- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory.- On the Constructive Truth and Falsity in Peano Arithmetic.- Belief Expansion in Subset Models.- Finitism, Concrete Programs and Primitive Recursion.- Knowledge of Uncertain Worlds: Programming with Logical Constraints.- A Globally Sound Analytic Calculus for Henkin Quantifiers.- Feedback Hyperjump.- Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.- On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.- Parameterised Complexity of Abduction in Schaefer's Framework.- Tracking Computability of GPAC-Generable Functions.- Modal Type Theory Based on the Intuitionistic Modal Logic ¿¿¿¿¿¿¿¿¿¿¿¿!.- Lifting Recursive Counterexamples to Higher-Order Arithmetic.- On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem under Semantic Tableaux Deduction.