Sciweavers

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