![Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers /](/search/themes/bootstrap3/images/libros.png)
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers /
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
| Subjects: | Computer science., Programming languages (Electronic computers)., Computers., Computer logic., Mathematical logic., Artificial intelligence., Computer Science., Theory of Computation., Programming Languages, Compilers, Interpreters., Mathematical Logic and Foundations., Mathematical Logic and Formal Languages., Logics and Meanings of Programs., Artificial Intelligence (incl. Robotics)., |
| Online Access: | http://dx.doi.org/10.1007/BFb0022242 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:199020 |
|---|---|
| record_format |
koha |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Computer science. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). |
| spellingShingle |
Computer science. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Computer science. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Pacholski, Leszek. editor. Tiuryn, Jerzy. editor. SpringerLink (Online service) Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| description |
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science. |
| format |
Texto |
| topic_facet |
Computer science. Programming languages (Electronic computers). Computers. Computer logic. Mathematical logic. Artificial intelligence. Computer Science. Theory of Computation. Programming Languages, Compilers, Interpreters. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). |
| author |
Pacholski, Leszek. editor. Tiuryn, Jerzy. editor. SpringerLink (Online service) |
| author_facet |
Pacholski, Leszek. editor. Tiuryn, Jerzy. editor. SpringerLink (Online service) |
| author_sort |
Pacholski, Leszek. editor. |
| title |
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| title_short |
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| title_full |
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| title_fullStr |
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| title_full_unstemmed |
Computer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / |
| title_sort |
computer science logic [electronic resource] : 8th workshop, csl '94 kazimierz, poland, september 25–30, 1994 selected papers / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1995 |
| url |
http://dx.doi.org/10.1007/BFb0022242 |
| work_keys_str_mv |
AT pacholskileszekeditor computersciencelogicelectronicresource8thworkshopcsl94kazimierzpolandseptember25301994selectedpapers AT tiurynjerzyeditor computersciencelogicelectronicresource8thworkshopcsl94kazimierzpolandseptember25301994selectedpapers AT springerlinkonlineservice computersciencelogicelectronicresource8thworkshopcsl94kazimierzpolandseptember25301994selectedpapers |
| _version_ |
1756267234010857472 |
| spelling |
KOHA-OAI-TEST:1990202018-07-30T23:25:27ZComputer Science Logic [electronic resource] : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers / Pacholski, Leszek. editor. Tiuryn, Jerzy. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.Subtyping with singleton types -- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects -- The Girard Translation extended with recursion -- Decidability of higher-order subtyping with intersection types -- A ?-calculus structure isomorphic to Gentzen-style sequent calculus structure -- Usability: formalising (un)definedness in typed lambda calculus -- Lambda representation of operations between different term algebras -- Semi-unification and generalizations of a particularly simple form -- A mixed linear and non-linear logic: Proofs, terms and models -- Cut free formalization of logic with finitely many variables. Part I. -- How to lie without being (easily) convicted and the lengths of proofs in propositional calculus -- Monadic second-order logic and linear orderings of finite structures -- First-order spectra with one binary predicate -- Monadic logical definability of NP-complete problems -- Logics for context-free languages -- Log-approximable minimization problems on random inputs -- Convergence and 0–1 laws for L ?,? k under arbitrary measures -- Is first order contained in an initial segment of PTIME? -- Logic programming in Tau Categories -- Reasoning and rewriting with set-relations I: Ground completeness -- Resolution games and non-liftable resolution orderings -- On existential theories of list concatenation -- Completeness of resolution for definite answers with case analysis -- Subrecursion as a basis for a feasible programming language -- A sound metalogical semantics for input/output effects -- An intuitionistic modal logic with applications to the formal verification of hardware -- Towards machine-checked compiler correctness for higher-order pure functional languages -- Powerdomains, powerstructures and fairness -- Canonical forms for data-specifications -- An algebraic view of structural induction -- On the interpretation of type theory in locally cartesian closed categories -- Algorithmic aspects of propositional tense logics -- Stratified default theories -- A homomorphism concept for ?-regularity -- Ramified recurrence and computational complexity II: Substitution and poly-space -- General form recursive equations I -- Modal logics preserving admissible for S4 inference rules -- A bounded set theory with Anti-Foundation Axiom and inductive definability.This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic. The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.Computer science.Programming languages (Electronic computers).Computers.Computer logic.Mathematical logic.Artificial intelligence.Computer Science.Theory of Computation.Programming Languages, Compilers, Interpreters.Mathematical Logic and Foundations.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Artificial Intelligence (incl. Robotics).Springer eBookshttp://dx.doi.org/10.1007/BFb0022242URN:ISBN:9783540494041 |