The Resource Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)
Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)
Resource Information
The item Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Extent
- 1 online resource (x, 320 pages)
- Contents
-
- Logics, Theories, and Decision Procedures I
- A Comprehensive Framework for Combined Decision Procedures
- Connecting Many-Sorted Structures and Theories Through Adjoint Functions
- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
- Interface Formalisms
- Sociable Interfaces
- Logics, Theories, and Decision Procedures II
- About the Combination of Trees and Rational Numbers in a Complete First-Order Theory
- A Complete Temporal and Spatial Logic for Distributed Systems
- Constraint Solving and Programming
- Hybrid CSP Solving
- An Efficient Decision Procedure for UTVPI Constraints
- Declarative Constraint Programming with Definitional Trees
- Logical Problem Analysis and Encoding I
- Logical Analysis of Hash Functions
- Combination Issues in Rewriting and Programming
- Proving and Disproving Termination of Higher-Order Functions
- Proving Liveness with Fairness Using Rewriting
- A Concurrent Lambda Calculus with Futures
- Compositional System Design and Refinement
- The ASM Method for System Design and Analysis. A Tutorial Introduction
- Logical Problem Analysis and Encoding II
- Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources
- Theorem Proving Frameworks and Systems
- Connecting a Logical Framework to a First-Order Logic Prover
- Combination of Isabelle/HOL with Automatic Tools
- ATS: A Language That Combines Programming with Theorem Proving
- Isbn
- 9783540317302
- Label
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Title
- Frontiers of combining systems
- Title remainder
- 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Statement of responsibility
- Bernhard Gramlich (ed.)
- Title variation
- FroCoS 2005
- Subject
-
- Computer science
- Computer science
- Computer science -- Congresses
- Computeralgebra
- Conference papers and proceedings
- Conference papers and proceedings
- Constraint
- Deduktionssystem
- Entscheidungsproblem
- Informatique
- Informatique
- Kongress
- Lineare Optimierung
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique mathématique
- MATHEMATICS -- Infinity
- MATHEMATICS -- Logic
- Mathematische Logik
- Résolution de problème
- Wien (2005)
- Wien <2005>
- Automatisches Beweisverfahren
- Language
- eng
- Cataloging source
- GW5XE
- Dewey number
- 511.3
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA9.A1
- LC item number
- F73 2005
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2005
- http://bibfra.me/vocab/lite/meetingName
- FroCoS (Symposium)
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Gramlich, Bernhard
- Series statement
-
- Lecture notes in computer science,
- Lecture notes in artificial intelligence
- Series volume
- 3717.
- http://library.link/vocab/subjectName
-
- Logic, Symbolic and mathematical
- Computer science
- MATHEMATICS
- MATHEMATICS
- Informatique
- Computer science
- Logic, Symbolic and mathematical
- Computeralgebra
- Entscheidungsproblem
- Mathematische Logik
- Lineare Optimierung
- Automatisches Beweisverfahren
- Constraint
- Deduktionssystem
- Logique mathématique
- Informatique
- Résolution de problème
- Wien <2005>
- Label
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Interface Formalisms -- Sociable Interfaces -- Logics, Theories, and Decision Procedures II -- About the Combination of Trees and Rational Numbers in a Complete First-Order Theory -- A Complete Temporal and Spatial Logic for Distributed Systems -- Constraint Solving and Programming -- Hybrid CSP Solving -- An Efficient Decision Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical Problem Analysis and Encoding I -- Logical Analysis of Hash Functions -- Combination Issues in Rewriting and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness Using Rewriting -- A Concurrent Lambda Calculus with Futures -- Compositional System Design and Refinement -- The ASM Method for System Design and Analysis. A Tutorial Introduction -- Logical Problem Analysis and Encoding II -- Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources -- Theorem Proving Frameworks and Systems -- Connecting a Logical Framework to a First-Order Logic Prover -- Combination of Isabelle/HOL with Automatic Tools -- ATS: A Language That Combines Programming with Theorem Proving
- Control code
- 262681853
- Dimensions
- unknown
- Extent
- 1 online resource (x, 320 pages)
- Form of item
- online
- Isbn
- 9783540317302
- Lccn
- 2005932552
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/11559306
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-29051-3
- Specific material designation
- remote
- System control number
- (OCoLC)262681853
- Label
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Logics, Theories, and Decision Procedures I -- A Comprehensive Framework for Combined Decision Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic -- On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal -- Interface Formalisms -- Sociable Interfaces -- Logics, Theories, and Decision Procedures II -- About the Combination of Trees and Rational Numbers in a Complete First-Order Theory -- A Complete Temporal and Spatial Logic for Distributed Systems -- Constraint Solving and Programming -- Hybrid CSP Solving -- An Efficient Decision Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical Problem Analysis and Encoding I -- Logical Analysis of Hash Functions -- Combination Issues in Rewriting and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness Using Rewriting -- A Concurrent Lambda Calculus with Futures -- Compositional System Design and Refinement -- The ASM Method for System Design and Analysis. A Tutorial Introduction -- Logical Problem Analysis and Encoding II -- Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources -- Theorem Proving Frameworks and Systems -- Connecting a Logical Framework to a First-Order Logic Prover -- Combination of Isabelle/HOL with Automatic Tools -- ATS: A Language That Combines Programming with Theorem Proving
- Control code
- 262681853
- Dimensions
- unknown
- Extent
- 1 online resource (x, 320 pages)
- Form of item
- online
- Isbn
- 9783540317302
- Lccn
- 2005932552
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/11559306
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-29051-3
- Specific material designation
- remote
- System control number
- (OCoLC)262681853
Subject
- Computer science
- Computer science
- Computer science -- Congresses
- Computeralgebra
- Conference papers and proceedings
- Conference papers and proceedings
- Constraint
- Deduktionssystem
- Entscheidungsproblem
- Informatique
- Informatique
- Kongress
- Lineare Optimierung
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique mathématique
- MATHEMATICS -- Infinity
- MATHEMATICS -- Logic
- Mathematische Logik
- Résolution de problème
- Wien (2005)
- Wien <2005>
- Automatisches Beweisverfahren
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 3717
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Frontiers-of-combining-systems--5th/_fFnTTPsieI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Frontiers-of-combining-systems--5th/_fFnTTPsieI/">Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Frontiers-of-combining-systems--5th/_fFnTTPsieI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Frontiers-of-combining-systems--5th/_fFnTTPsieI/">Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings, Bernhard Gramlich (ed.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
