05418nam 22007575 450 99646556490331620200701222648.03-540-44622-210.1007/3-540-44622-2(CKB)1000000000211277(SSID)ssj0000322119(PQKBManifestationID)11937852(PQKBTitleCode)TC0000322119(PQKBWorkID)10281436(PQKB)11544723(DE-He213)978-3-540-44622-4(MiAaPQ)EBC3071790(PPN)155234102(EXLCZ)99100000000021127720121227d2000 u| 0engurnn|008mamaatxtccrComputer Science Logic[electronic resource] 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /edited by Peter G. Clote, Helmut Schwichtenberg1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (XIV, 550 p.) Lecture Notes in Computer Science,0302-9743 ;1862Bibliographic Level Mode of Issuance: Monograph3-540-67895-6 Includes bibliographical references and index.Invited Papers -- Background, Reserve, and Gandy Machines -- Choiceless Polynomial Time Computation and the Zero-One Law -- Composition and Submachine Concepts for Sequential ASMs -- Une tentative malheureuse de construire une structure éliminant rapidement les quanteurs -- Translating Theory into Practice — Abstract State Machines within Microsoft -- Choiceless Polynomial Time Logic: Inability to Express -- Schema Revisited -- Automated Verification = Graphs, Automata, and Logic -- Contributed Papers -- A Fully Complete PER Model for ML Polymorphic Types -- Subtyping with Power Types -- The Descriptive Complexity of the Fixed-Points of Bounded Formulas -- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic -- Continuous Functionals of Dependent Types and Equilogical Spaces -- Definability over Linear Constraints -- Bounded Arithmetic and Descriptive Complexity -- Independence: Logics and Concurrency -- Flatness Is Not a Weakness -- Sequents, Frames, and Completeness -- Disjunctive Tautologies as Synchronisation Schemes -- Axiomatizing the Least Fixed Point Operation and Binary Supremum -- Interactive Programs in Dependent Type Theory -- Modal Satisfiability Is in Deterministic Linear Space -- Logic Programming and Co-inductive Definitions -- A Theory of Explicit Mathematics Equivalent to ID 1 -- On the Complexity of Explicit Modal Logics -- Finite Models and Full Completeness -- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale -- Elimination of Negation in a Logical Framework -- Discreet Games, Light Affine Logic and PTIME Computation -- Completeness of Higher-Order Duration Calculus -- Equational Termination by Semantic Labelling -- On the Computational Interpretation of Negation -- From Programs to Games: Invariance and Safety for Bisimulation -- Logical Relations and Data Abstraction -- Elementary Choiceless Constructive Analysis -- On the Logic of the Standard Proof Predicate.Lecture Notes in Computer Science,0302-9743 ;1862Artificial intelligenceProgramming languages (Electronic computers)Architecture, ComputerMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Programming languages (Electronic computers).Architecture, Computer.Mathematical logic.Computer logic.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Computer System Implementation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Mathematical Logic and Foundations.004/.01/5113Clote Peter Gedthttp://id.loc.gov/vocabulary/relators/edtSchwichtenberg Helmutedthttp://id.loc.gov/vocabulary/relators/edtEuropean Association for Computer Science Logic.Conference(9th :2000 :Fischbachau, Germany),Workshop on Computer Science LogicBOOK996465564903316Computer Science Logic771972UNISA