Search Sciweavers | Sciweavers

4401 search results - page 105 / 881

» Computing with Default Logic

Voted

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

15 years 10 months ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

104

Voted

AINA
2008
IEEE

126views Computer Networks» more AINA 2008»

Bilateral Bargaining Game and Fuzzy Logic in the System Handling SLA-Based Workflow

15 years 10 months ago

Download www.my-groups.de

Dang Minh Quan, Jörn Altmann

claim paper

Read More »

104

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

15 years 9 months ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

Voted

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

15 years 9 months ago

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

Voted

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers