KOBV Portal

Hits per page

hits 1 - 4 | 4 hits

Sorting

Book

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings (2006)

Ésik, Zoltán [Sonstige] 1951-2016 ; European Association for Computer Science Logic ; CSL 20 2006 Szeged

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV021770918

Format: XII, 626 S. , graph. Darst.

ISBN: 9783540454588 , 3540454586

Series Statement: Lecture notes in computer science 4207

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Logik ; Computational logic ; Logische Programmierung ; Programmierlogik ; Konferenzschrift

URL: Inhaltstext

Author information: Ésik, Zoltán 1951-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

EUV Frankfurt

TU Berlin

Online Resource

Computer science logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings (2006)

Ésik, Zoltán [Sonstige] 1951-2016 ; European Association for Computer Science Logic ; CSL 20 2006 Szeged

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV022389976

Format: 1 Online-Ressource (XII, 626 S.) , graph. Darst.

ISBN: 3540454586 , 9783540454588

Series Statement: Lecture notes in computer science 4207

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Theoretische Informatik ; Logik ; Computational logic ; Logische Programmierung ; Programmierlogik ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/11874683

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Author information: Ésik, Zoltán 1951-2016

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

Book

Annual Conference of the EACSL ...; 15: Computer science logic : 20th international workshop ; proceedings / CSL 2006, Szeged, Hungary, September 25 - 29, 2006. Zoltán Ésik (ed.) (2006)

Ésik, Zoltán ; CSL (20 : 2006 : Szeged) 20 Szeged

Show associated volumes

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB14100310

Format: XII, 626 Seiten , graph. Darst. , 24 cm

ISBN: 9783540454588 , 3540454586

Series Statement: Lecture notes in computer science 4207

Note: Literaturangaben , Text engl.

Language: English

Keywords: Theoretische Informatik ; Logik ; Kongress ; Szeged 〈2006〉 ; Computational logic ; Kongress ; Szeged 〈2006〉 ; Logische Programmierung ; Kongress ; Szeged 〈2006〉 ; Programmierlogik ; Kongress ; Szeged 〈2006〉 ; Kongress ; Konferenzschrift

Author information: Ésik, Zoltán

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

Online Resource

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings (2006)

Ésik, Zoltán. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947363921902882

Format: XII, 627 p. , online resource.

ISBN: 9783540454595

Series Statement: Lecture Notes in Computer Science, 4207

Note: Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics for Words and Trees over an Infinite Alphabet -- Nonmonotonic Logics and Their Algebraic Foundations -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation -- A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity -- Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic -- MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay -- Abstracting Allocation -- Collapsibility in Infinite-Domain Quantified Constraint Satisfaction -- Towards an Implicit Characterization of NC k -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail Objectives -- Nash Equilibrium for Upward-Closed Objectives -- Algorithms for Omega-Regular Games with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional Dynamic Logics -- Weak Bisimulation Approximants -- Complete Problems for Higher Order Logics -- Solving Games Without Determinization -- Game Quantification on Automatic Structures and Hierarchical Model Checking Games -- An Algebraic Point of View on the Crane Beach Property -- A Sequent Calculus for Type Theory -- Universality Results for Models in Locally Boolean Domains -- Universal Structures and the Logic of Forbidden Patterns -- On the Expressive Power of Graph Logic -- Hoare Logic in the Abstract -- Normalization of IZF with Replacement -- Acyclicity and Coherence in Multiplicative Exponential Linear Logic -- Church Synthesis Problem with Parameters -- Decidable Theories of the Ordering of Natural Numbers with Unary Predicates -- Separation Logic for Higher-Order Store -- Satisfiability and Finite Model Property for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540454588

Language: English

DOI: 10.1007/11874683

URL: http://dx.doi.org/10.1007/11874683

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 4 | 4 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 3540402586?

Did you mean 3540354581?

Did you mean 3540414568?

Kooperativer Bibliotheksverbund

Berlin Brandenburg