We use a few cookies

Essential cookies keep the library working. With your permission, we'd also like to use analytics to see what's useful and improve the experience. Read our Privacy Policy or Cookie Policy.

Home/Journals/Logical Methods in Computer Science

CC-BY

Logical Methods in Computer Science

Print ISSN

1860-5974

Country

DE

Journal Info

Publisher

Logical Methods in Computer Science e.V.

25

Articles

0

Volumes

Visit Journal Website ↗Browse All Articles

Published Works

Recent Articles

View all →

Article

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

Georgios Kourtis, Ian E. Pratt-Hartmann

Vol. Volume 13, Issue 420170

Article

Unprovability of circuit upper bounds in Cook's theory PV

Jan Krajı́ček, Igor Carboni Oliveira

Vol. Volume 13, Issue 120170

Article

Two-variable Logic with Counting and a Linear Order

Witold Charatonik, Piotr Witkowski

Vol. Volume 12, Issue 220160

Article

Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic

Ján Pich

Vol. Volume 11, Issue 220150

Article

Small Stone in Pool

Samuel R. Buss, Leszek Aleksander Kołodziejczyk

Vol. Volume 10, Issue 220140

Article

Querying the Guarded Fragment

Vince Bárány, Georg Gottlob, Martin Otto

Vol. Volume 10, Issue 220140

Article

Handling Algebraic Effects

Gordon D. Plotkin, Matija Pretnar

Vol. Volume 9, Issue 420130

Article

Generalizing determinization from automata to coalgebras

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue

Vol. Volume 9, Issue 120130

Article

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Jakob Nordstrom

Vol. Volume 9, Issue 320130

Article

Polylogarithmic Cuts in Models of V^0

Sebastian Müller

Vol. Volume 9, Issue 120130

Article

Implicit Resolution

Zi Chao Wang

Vol. Volume 9, Issue 420130

Article

Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

Libor Barto, Marcin Kozik

Vol. Volume 8, Issue 120120