Sciweavers

Share
TOCL
2010
87views more  TOCL 2010»
8 years 8 months ago
Unicast and multicast QoS routing with soft-constraint logic programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...
TOCL
2010
103views more  TOCL 2010»
8 years 8 months ago
Monadic datalog over finite structures of bounded treewidth
Georg Gottlob, Reinhard Pichler, Fang Wei
TOCL
2010
109views more  TOCL 2010»
8 years 8 months ago
An inclusion theorem for defeasible logics
David Billington, Grigoris Antoniou, Guido Governa...
TOCL
2010
100views more  TOCL 2010»
8 years 8 months ago
A theory of sampling for continuous-time metric temporal logic
Carlo A. Furia, Matteo Rossi
TOCL
2010
56views more  TOCL 2010»
8 years 11 months ago
On the completeness of compositional reasoning methods
Kedar S. Namjoshi, Richard J. Trefler
TOCL
2010
48views more  TOCL 2010»
8 years 11 months ago
Deciding strategy properties of contract-signing protocols
Detlef Kähler, Ralf Küsters, Thomas Wilk...
books