IANDC 1998 | Sciweavers

9

IANDC
1998

70views more IANDC 1998»

The Generating Power of Total Deterministic Tree Transducers

13 years 4 months ago

ed tree transducers are abstract models used to study properties bute grammars. One abstraction which occurs when modeling attribute grammars by attributed tree transducers is that...

Sebastian Maneth

claim paper

Read More »

19

click to vote

IANDC
1998

64views more IANDC 1998»

Positive Versions of Polynomial Time

13 years 4 months ago

Download www.dur.ac.uk

We show that restricting a number of characterizations of the complexity class P to be positive (in natural ways) results in the same class of (monotone) problems which we denote ...

Clemens Lautemann, Thomas Schwentick, Iain A. Stew...

claim paper

Read More »

8

click to vote

IANDC
1998

106views more IANDC 1998»

A Conservative Look at Operational Semantics with Variable Binding

13 years 4 months ago

Download www.cs.vu.nl

We set up a formal framework to describe transition system speciﬁcations in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...

Wan Fokkink, Chris Verhoef

claim paper

Read More »

9

click to vote

IANDC
1998

64views more IANDC 1998»

Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions

13 years 4 months ago

Download www.orsj.or.jp

Endre Boros, Toshihide Ibaraki, Kazuhisa Makino

claim paper

Read More »

10

click to vote

IANDC
1998

70views more IANDC 1998»

Diagram Techniques for Confluence

13 years 4 months ago

Download web.mac.com

op diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, wide...

Marc Bezem, Jan Willem Klop, Vincent van Oostrom

claim paper

Read More »

11

click to vote

IANDC
1998

72views more IANDC 1998»

On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis

13 years 4 months ago

Download profs.sci.univr.it

We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...

Maria Paola Bonacina, Jieh Hsiang

claim paper

Read More »

9

click to vote

IANDC
1998

56views more IANDC 1998»

Proving Properties of Dynamic Process Networks

13 years 4 months ago