Sciweavers

3385 search results - page 48 / 677
» Language, Logic, and the Brain
Sort
View
AMAST
2008
Springer
15 years 8 months ago
Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
IJCAI
1993
15 years 7 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
ENTCS
2008
74views more  ENTCS 2008»
15 years 6 months ago
An RDF Query Language based on Logic Programming
Jesús Manuel Almendros-Jiménez