Search Sciweavers | Sciweavers

12981 search results - page 46 / 2597

» Artificial Intelligence

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 3 months ago

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

Ekaterina Komendantskaya

claim paper

Read More »

click to vote

WIA
2007
Springer

86views Artificial Intelligence» more WIA 2007»

Efficient Enumeration of Regular Languages

15 years 3 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 3 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 3 months ago

Download www.automata.rwth-aachen.de

Michael Holtmann, Christof Löding

claim paper

Read More »

click to vote

WIA
2007
Springer

87views Artificial Intelligence» more WIA 2007»

Finite State Automata Representing Two-Dimensional Subshifts

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers