Sciweavers

37 search results - page 1 / 8
» fuin 2010
Sort
View
FUIN
2010
88views more  FUIN 2010»
13 years 9 months ago
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Linh Anh Nguyen, Andrzej Szalas
FUIN
2010
76views more  FUIN 2010»
13 years 8 months ago
Church-Rosser Made Easy
The Church
Dexter Kozen
FUIN
2010
84views more  FUIN 2010»
13 years 8 months ago
Clearing Restarting Automata
Peter Cerno, Frantisek Mráz
FUIN
2010
101views more  FUIN 2010»
13 years 8 months ago
A Logic-Based, Reactive Calculus of Events
Federico Chesani, Paola Mello, Marco Montali, Paol...