Computer Science Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540665366, 9783540481683

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_15 ◽

1999 ◽

pp. 204-219

Author(s):

Eduardo Bonelli

Keyword(s):

Explicit Substitutions ◽

De Bruijn

Download Full-text

Tutorial on Interactive Theorem Proving Using Type Theory

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_41 ◽

1999 ◽

pp. 578-578

Author(s):

Douglas J. Howe

Keyword(s):

Theorem Proving ◽

Type Theory ◽

Interactive Theorem Proving

Download Full-text

Constraint-Based Analysis of Broadcast Protocols

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_5 ◽

1999 ◽

pp. 50-66 ◽

Cited By ~ 25

Author(s):

Giorgio Delzanno ◽

Andreas Podelski ◽

Javier Esparza

Download Full-text

Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_24 ◽

1999 ◽

pp. 338-349 ◽

Cited By ~ 4

Author(s):

Jerzy Marcinkowski

Download Full-text

Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_10 ◽

1999 ◽

pp. 126-139 ◽

Cited By ~ 42

Author(s):

Martin Fränzle

Keyword(s):

Hybrid Systems

Download Full-text

Applying Rewriting Techniques to the Verification of Erlang Processes

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_8 ◽

1999 ◽

pp. 96-110 ◽

Cited By ~ 2

Author(s):

Thomas Arts ◽

Jürgen Giesl

Download Full-text

Topological Queries in Spatial Databases

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_1 ◽

1999 ◽

pp. 1-1

Author(s):

Victor Vianu

Keyword(s):

Spatial Databases

Download Full-text

Pre-logical Relations

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_38 ◽

1999 ◽

pp. 546-561 ◽

Cited By ~ 13

Author(s):

Furio Honsell ◽

Donald Sannella

Download Full-text

A Logical Viewpoint on Process-Algebraic Quotients

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_35 ◽

1999 ◽

pp. 499-514 ◽

Cited By ~ 2

Author(s):

Antonín Kučera ◽

Javier Esparza

Keyword(s):

Process Algebraic

Download Full-text

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_14 ◽

1999 ◽

pp. 188-203 ◽

Cited By ~ 3

Author(s):

Volker Diekert ◽

Paul Gastin

Keyword(s):

Temporal Logic ◽

Past Tense ◽

Tense Operators ◽

Mazurkiewicz Traces

Download Full-text

Computer Science Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting

Tutorial on Interactive Theorem Proving Using Type Theory

Constraint-Based Analysis of Broadcast Protocols

Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games

Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States

Applying Rewriting Techniques to the Verification of Erlang Processes

Topological Queries in Spatial Databases

Pre-logical Relations

A Logical Viewpoint on Process-Algebraic Quotients

An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces

Computer Science Logic - Lecture Notes in Computer Science
Latest Publications