In computer science, A-normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers introduced by Sabry andâ€¦Â (More)

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

2015

2015

- Florian Pommerening, Malte Helmert
- ICAPS
- 2015

We describe transition normal form (TNF) for classical planning tasks, where there is a unique goal state and variables occur inâ€¦Â (More)

Is this relevant?

2013

2013

- Cosmina Croitoru, Timo KÃ¶tzing
- TAFA
- 2013

We study formal argumentation frameworks as introduced by Dung (1995). We show that any such argumentation framework can beâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

The normal form x2+y2 = a2+a2x2y2 for elliptic curves simplifies formulas in the theory of elliptic curves and functions. Itsâ€¦Â (More)

Is this relevant?

2007

2007

- Xavier Bressaud
- 2007

We present a seemingly new normal form for braids, where every braid is expressed using a word in a regular language on someâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Marcelo Arenas, Leonid Libkin
- PODS
- 2002

This article takes a first step towards the design and normalization theory for XML documents. We show that, like relationalâ€¦Â (More)

Is this relevant?

1998

1998

- Martin von Mohrenschildt
- J. Symb. Comput.
- 1998

Computer algebra systems often have to deal with piecewise continuous functions. These are, for example, the absolute valueâ€¦Â (More)

Is this relevant?

1996

1996

- Wai Yin Mok, Yiu-Kai Ng, David W. Embley
- ACM Trans. Database Syst.
- 1996

We give a straightforward definition for redundancy in individual nested relations and define a new normal form that preciselyâ€¦Â (More)

Is this relevant?

1985

1985

- Z. Meral Ã–zsoyoglu, Li-Yan Yuan
- PODS
- 1985

We consider nested relations whose schemes are structured as trees, called scheme trees, and introduce a normal form for suchâ€¦Â (More)

Is this relevant?

1985

1985

- Tok Wang Ling
- ER
- 1985

In this paw=, a normal form for entity-relationship diagrams and the objectives for such a normal form are presented. A normalâ€¦Â (More)

Is this relevant?

1977

1977

- Hanan Samet
- SIGART Newsletter
- 1977

A formalism is presented for obtaining a normal form to be used in representing programs for compiler testing. Examples are usedâ€¦Â (More)

Is this relevant?