By the same authors

From the same journal

A Tactic Calculus-Abridged Version

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalFormal Asp. Comput.
DatePublished - 1996
Issue number4
Volume8
Number of pages11
Pages (from-to)479-489
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations