Sciweavers

642 search results - page 9 / 129
» corr 2006
Sort
View
CORR
2006
Springer
93views Education» more  CORR 2006»
15 years 4 days ago
LTL with the Freeze Quantifier and Register Automata
Stéphane Demri, Ranko Lazic
CORR
2006
Springer
63views Education» more  CORR 2006»
15 years 4 days ago
Nominal Logic Programming
James Cheney, Christian Urban
CORR
2006
Springer
83views Education» more  CORR 2006»
15 years 4 days ago
Measuring Fundamental Properties of Real-World Complex Networks
Matthieu Latapy, Clémence Magnien
CORR
2006
Springer
97views Education» more  CORR 2006»
15 years 4 days ago
Ontologies and Information Extraction
Claire Nedellec, Adeline Nazarenko