Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2016

Highly Cited

2016

We present a new, completely redesigned, version of F*, a language that works both as a proof assistant as well as a general… Expand

Is this relevant?

Highly Cited

2013

Highly Cited

2013

Despite early interest Predicate Invention has lately been under-explored within ILP. We develop a framework in which predicate… Expand

Is this relevant?

Highly Cited

2006

Highly Cited

2006

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

A countable graph can be considered as the value of a certain infinite expression, represented itself by an infinite tree. We… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

Motivated by formal models recently proposed in the context of XML, we study automata and logics on strings over infinite… Expand

Is this relevant?

Highly Cited

2000

Highly Cited

2000

We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

Abstract It is natural to view concept and role definitions in description logics as expressing monadic and dyadic predicates in… Expand

Is this relevant?

Highly Cited

1993

Highly Cited

1993

The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To… Expand

Is this relevant?

Highly Cited

1990

Highly Cited

1990

Publisher Summary This chapter presents three mathematical tools that can be used to describe graph-grammars and the sets… Expand

Is this relevant?

Highly Cited

1961

Highly Cited

1961

The present invention is related to oxazolidin-2-one derivatives having the general formula The invention is further related to a… Expand

Is this relevant?