Sciweavers

37 search results - page 1 / 8
» fuin 2010
Sort
View
66
Voted
FUIN
2010
88views more  FUIN 2010»
14 years 10 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»
14 years 9 months ago
Church-Rosser Made Easy
The Church
Dexter Kozen
FUIN
2010
84views more  FUIN 2010»
14 years 9 months ago
Clearing Restarting Automata
Peter Cerno, Frantisek Mráz
75
Voted
FUIN
2010
101views more  FUIN 2010»
14 years 9 months ago
A Logic-Based, Reactive Calculus of Events
Federico Chesani, Paola Mello, Marco Montali, Paol...