Search Sciweavers | Sciweavers

377 search results - page 14 / 76

» Modular logic metaprogramming

click to vote

CORR
2008
Springer

106views Education» more CORR 2008»

Modular difference logic is hard

13 years 7 months ago

Download research.microsoft.com

In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...

Nikolaj Bjørner, Andreas Blass, Yuri Gurevi...

claim paper

Read More »

click to vote

CORR
2000
Springer

82views Education» more CORR 2000»

On Modular Termination Proofs of General Logic Programs

13 years 7 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...

claim paper

Read More »

click to vote

CSUR
1998

68views more CSUR 1998»

Optimizing Modular Logic Languages

13 years 7 months ago

Download www.dsi.unive.it

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, ...

claim paper

Read More »

click to vote

ENTCS
1998

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

13 years 7 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers