Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540894384, 9783540894391
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reveal: A Formal Verification Tool for Verilog Designs

2008 ◽  
pp. 343-352 ◽  
Author(s):  
Zaher S. Andraus ◽  
Mark H. Liffiton ◽  
Karem A. Sakallah
Keyword(s):  
Formal Verification ◽  
Verification Tool

scholarly journals Data-Oblivious Stream Productivity

2008 ◽  
pp. 79-96 ◽  
Author(s):  
Jörg Endrullis ◽  
Clemens Grabmayer ◽  
Dimitri Hendriks
Keyword(s):  
Stream Productivity

scholarly journals On the Computational Complexity of Spatial Logics with Connectedness Constraints

2008 ◽  
pp. 574-589 ◽  
Author(s):  
Roman Kontchakov ◽  
Ian Pratt-Hartmann ◽  
Frank Wolter ◽  
Michael Zakharyaschev
Keyword(s):  
Computational Complexity ◽  
Spatial Logics

scholarly journals Program Complexity in Hierarchical Module Checking

2008 ◽  
pp. 318-332 ◽  
Author(s):  
Aniello Murano ◽  
Margherita Napoli ◽  
Mimmo Parente
Keyword(s):  
Program Complexity

scholarly journals Discounted Properties of Probabilistic Pushdown Automata

2008 ◽  
pp. 230-242 ◽  
Author(s):  
Tomáš Brázdil ◽  
Václav Brožek ◽  
Jan Holeček ◽  
Antonín Kučera
Keyword(s):  
Pushdown Automata

scholarly journals From One Session to Many: Dynamic Tags for Security Protocols

2008 ◽  
pp. 128-142 ◽  
Author(s):  
Myrto Arapinis ◽  
Stéphanie Delaune ◽  
Steve Kremer
Keyword(s):  
Security Protocols
Load More ...
Sign in / Sign up

Export Citation Format

Share Document