Abstract canonical presentations
نویسندگان
چکیده
منابع مشابه
Canonical Presentations ?
Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Ramat Aviv, Tel Aviv 69978 Israel Claude Kirchner LORIA & INRIA 615, rue du Jardin Botanique B.P. 101 54602 Villers-lès-Nancy Cedex France Abstract Solving goals—like proving properties, deciding word problems or resolving constraints—is much easier with some presentations of the underlyi...
متن کاملOral Abstract Presentations
Purpose/Objectives: Cervical cancer patients with disease extending laterally into parametrial tissue often require interstitial trans-perineal implantation under general anesthesia and a hospital stay for brachytherapy treatments. A major disadvantage of intraoperative implantation is the lack of 3D image guidance during needle placement. Here, we describe real-time CT-guidance to allow inters...
متن کاملCanonical Abstract Syntax Trees
This paper presents GOM, a language for describing abstract syntax trees and generating a Java implementation for those trees. GOM includes features allowing to specify and modify the interface of the data structure. These features provide in particular the capability to maintain the internal representation of data in canonical form with respect to a rewrite system. This explicitly guarantees t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.03.012