Search Sciweavers | Sciweavers

4217 search results - page 80 / 844

» Computational indistinguishability logic

161

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

16 years 1 months ago

Download www.cmi.ac.in

Volker Diekert, Manfred Kufleitner

claim paper

Read More »

126

click to vote

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

16 years 26 days ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

140

click to vote

AINA
2008
IEEE

126views Computer Networks» more AINA 2008»

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

16 years 25 days ago

Download www.my-groups.de

Dang Minh Quan, Jörn Altmann

claim paper

Read More »

134

click to vote

IEEESCC
2007
IEEE

85views Applied Computing» more IEEESCC 2007»

Checking e-service consistency using Description Logics

16 years 19 days ago

Download www.dis.uniroma1.it

Luigi Dragone, Riccardo Rosati

claim paper

Read More »

122

click to vote

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

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

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers