Sciweavers

4217 search results - page 104 / 844
» Computational indistinguishability logic
Sort
View
ICCS
2000
Springer
15 years 1 months ago
A Contextual-Logic Extension of TOSCANA
Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf W...
MFCS
1995
Springer
15 years 1 months ago
From Timed Automata to Logic - and Back
François Laroussinie, Kim Guldstrand Larsen...
BIRTHDAY
2008
Springer
14 years 12 months ago
Declarative Debugging of Membership Equational Logic Specifications
Rafael Caballero, Narciso Martí-Oliet, Adri...