ISBN: 9783540600176
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 th… Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
1995, ISBN: 9783540600176
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 … Mehr…
Orellfuessli.ch Nr. 3181747. Versandkosten:, Versandfertig innert 4 - 7 Werktagen, zzgl. Versandkosten. (EUR 16.94) Details... |
Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - neues Buch
1995, ISBN: 3540600175
1995 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intelligenz,… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1995, ISBN: 9783540600176
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, Buch, Softcover, 1995, [PU: Springer Berlin], Springer Berlin, 1995
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
1995, ISBN: 9783540600176
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, 1995, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - neues Buch
ISBN: 9783540600176
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 th… Mehr…
1995, ISBN: 9783540600176
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 … Mehr…
Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - neues Buch
1995
ISBN: 3540600175
1995 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intelligenz,… Mehr…
1995, ISBN: 9783540600176
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, Buch, Softcover, 1995, [PU: Springer Berlin], Springer Berlin, 1995
1995, ISBN: 9783540600176
8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, 1995, Softcover, Buch, [PU: Springer Berlin]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
EAN (ISBN-13): 9783540600176
ISBN (ISBN-10): 3540600175
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin
564 Seiten
Gewicht: 0,842 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-03-10T01:16:49+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:34+01:00 (Zurich)
ISBN/EAN: 9783540600176
ISBN - alternative Schreibweisen:
3-540-60017-5, 978-3-540-60017-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jerzy, kazimierz
Titel des Buches: lec, workshop 1994, logic, lecture notes computer science, 933
Daten vom Verlag:
Autor/in: Leszek Pacholski; Jerzy Tiuryn
Titel: Lecture Notes in Computer Science; Computer Science Logic - 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Verlag: Springer; Springer Berlin
553 Seiten
Erscheinungsjahr: 1995-07-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 1,740 kg
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XI, 553 p.
BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; lambda calculus; logic; mathematical logic; model theory; programming; proof theory; semantics; Programming Languages, Compilers, Interpreters; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence; Theory of Computation; Compilers and Interpreters; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Compiler und Übersetzer; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; EA
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
< zum Archiv...