Sciweavers

3719 search results - page 11 / 744

» order 2010

28

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

14 years 1 months ago

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

Download www.cs.mcgill.ca

Amy P. Felty, Brigitte Pientka

claim paper

Read More »

17

ICALP
2010
Springer

135views Programming Languages» more ICALP 2010»

Linear Orders in the Pushdown Hierarchy

14 years 1 months ago

Linear Orders in the Pushdown Hierarchy

Download igm.univ-mlv.fr

Laurent Braud, Arnaud Carayol

claim paper

Read More »

25

ITP
2010

129views Mathematics» more ITP 2010»

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure

13 years 11 months ago

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure

Download www.cs.utexas.edu

John R. Cowles, Ruben Gamboa

claim paper

Read More »

20

CADE
2010
Springer

202views Logical Reasoning» more CADE 2010»

Termination Tools in Ordered Completion

13 years 11 months ago

Termination Tools in Ordered Completion

Download cl-informatik.uibk.ac.at

Sarah Winkler, Aart Middeldorp

claim paper

Read More »

26

ECAI
2010
Springer

204views Artificial Intelligence» more ECAI 2010»

The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery

13 years 10 months ago

The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery

Download www.cs.bris.ac.uk

Tarek Abudawood, Peter A. Flach

claim paper

Read More »

« Prev « First page 11 / 744 Last » Next »