logics of programs
Recently Published Documents

TOTAL DOCUMENTS

46

(FIVE YEARS 1)

H-INDEX

10

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effective temporal logics of programs

Time and Logic ◽

10.4324/9780429321047-2 ◽

2019 ◽

pp. 51-129

Author(s):

H. Andréka ◽

V. Goranko ◽

S. Mikulás ◽

I. Németi ◽

I. Sain

Keyword(s):

Temporal Logics ◽

Logics Of Programs

Download Full-text

Dual Tableaux for Logics of Programs

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_19 ◽

2010 ◽

pp. 359-382

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Logics Of Programs

Download Full-text

Inductive Completeness of Logics of Programs

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.12.119 ◽

2009 ◽

Vol 228 ◽

pp. 101-112

Author(s):

Daniel Leivant

Keyword(s):

Logics Of Programs

Download Full-text

Remarks on comparing expressive power of logics of programs

Mathematical Foundations of Computer Science 1984 - Lecture Notes in Computer Science ◽

10.1007/bfb0030337 ◽

2006 ◽

pp. 535-543 ◽

Author(s):

Jerzy Tiuryn ◽

Paweł Urzyczyn

Keyword(s):

Expressive Power ◽

Logics Of Programs

Download Full-text

On the emptiness problem of tree automata and completeness of modal logics of programs

CSL '88 - Lecture Notes in Computer Science ◽

10.1007/bfb0026315 ◽

2005 ◽

pp. 384-399

Author(s):

Hubert Wagner

Keyword(s):

Modal Logics ◽

Tree Automata ◽

Emptiness Problem ◽

Logics Of Programs

Download Full-text

Higher-order arrays and stacks in programming. An application of complexity theory to logics of programs

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1986 ◽

10.1007/bfb0016242 ◽

2005 ◽

pp. 177-198 ◽

Author(s):

Jerzy Tiuryn

Keyword(s):

Complexity Theory ◽

Higher Order ◽

Logics Of Programs

Download Full-text

$\mathcal {ESC}$ : A Tool for Automatic Composition of e-Services Based on Logics of Programs

Technologies for E-Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31811-8_7 ◽

2005 ◽

pp. 80-94 ◽

Author(s):

Daniela Berardi ◽

Diego Calvanese ◽

Giuseppe De Giacomo ◽

Maurizio Lenzerini ◽

Massimo Mecella

Keyword(s):

Automatic Composition ◽

Logics Of Programs

Download Full-text

The Complexity of Tree Automata and Logics of Programs

SIAM Journal on Computing ◽

10.1137/s0097539793304741 ◽

1999 ◽

Vol 29 (1) ◽

pp. 132-158 ◽

Author(s):

E. Allen Emerson ◽

Charanjit S. Jutla

Keyword(s):

Tree Automata ◽

Logics Of Programs

Download Full-text

Tool Support for Logics of Programs

Mathematical Methods in Program Development ◽

10.1007/978-3-642-60858-2_25 ◽

1997 ◽

pp. 461-498

Author(s):

Lawrence C. Paulson

Keyword(s):

Tool Support ◽

Logics Of Programs

Download Full-text

Incompleteness of a first-order gödel logic and some temporal logics of programs

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-61377-3_28 ◽

1996 ◽

pp. 1-15 ◽

Author(s):

Matthias Baaz ◽

Alexander Leitsch ◽

Richard Zach

Keyword(s):

Temporal Logics ◽

First Order ◽

Gödel Logic ◽

Logics Of Programs

Download Full-text