Search Sciweavers | Sciweavers

12981 search results - page 46 / 2597

» Artificial Intelligence

128

click to vote

TABLEAUX
2007
Springer

105views Artificial Intelligence» more TABLEAUX 2007»

A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

15 years 11 months ago

Download www.cs.st-andrews.ac.uk

Ekaterina Komendantskaya

claim paper

Read More »

104

click to vote

WIA
2007
Springer

86views Artificial Intelligence» more WIA 2007»

Efficient Enumeration of Regular Languages

15 years 11 months ago

Download www.cs.uwaterloo.ca

Margareta Ackerman, Jeffrey Shallit

claim paper

Read More »

click to vote

WIA
2007
Springer

89views Artificial Intelligence» more WIA 2007»

Multi-grain Relations

15 years 11 months ago

Download www.stringology.org

François Barthélemy

claim paper

Read More »

click to vote

WIA
2007
Springer

72views Artificial Intelligence» more WIA 2007»

Memory Reduction for Strategies in Infinite Games

15 years 11 months ago

Download www.automata.rwth-aachen.de

Michael Holtmann, Christof Löding

claim paper

Read More »

104

click to vote

WIA
2007
Springer

87views Artificial Intelligence» more WIA 2007»

Finite State Automata Representing Two-Dimensional Subshifts

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers