Search Sciweavers | Sciweavers

6201 search results - page 35 / 1241

» Implementation of Axiomatic Language

click to vote

ECAI
2010
Springer

226views Artificial Intelligence» more ECAI 2010»

Optimal Tableaux for Conditional Logics with Cautious Monotonicity

13 years 9 months ago

Download www.informatik.uni-bremen.de

Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...

Lutz Schröder, Dirk Pattinson, Daniel Hausman...

claim paper

Read More »

click to vote

ECOOPW
2007
Springer

62views Distributed And Parallel Com...» more ECOOPW 2007»

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

14 years 2 months ago

Download iv.tu-berlin.de

Olivier Zendra, Eric Jul, Roland Ducournau, Etienn...

claim paper

Read More »

click to vote

ISSAC
2007
Springer

100views Mathematics» more ISSAC 2007»

Towards a high-level implementation of flexible parallelism primitives for symbolic languages

14 years 2 months ago

Download www.clip.dia.fi.upm.es

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

claim paper

Read More »

click to vote

OTM
2007
Springer

75views Internet Technology» more OTM 2007»

Implementing OCL as a Database Query Language

14 years 2 months ago

Download www.users.pjwstk.edu.pl

Piotr Habela, Krzysztof Kaczmarski, Krzysztof Sten...

claim paper

Read More »

click to vote

ISORC
2006
IEEE

109views Distributed And Parallel Com...» more ISORC 2006»

Towards a Real-Time Implementation of the ECMA Common Language Infrastructure

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers