Sciweavers

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