G. Attardi and M. Simi. Building proofs in context. In Proc. of Meta '94, LNCS 883, pages 410--424. Springer, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Meta-programming with Theory Systems - Jonas Barklund (1995) (6 citations) (Correct)
....for the knowledgeable reader that the development of Alloy is very much inspired by work of Kowalski [25, 26] and by Reflective Prolog of Costantini Lanzarone [16] There have recently appeared some proposals for systems for meta reasoning with a similar philosophy as ours. Attardi Simi [1] use what they call relativized truth but obtain a system quite similar to ours. One significant difference is that they choose to duplicate their inference system (a natural deduction system) the rules are present once for the object level and again for the meta level. Moreover, among their ....
Attardi, G. and Simi, M., Building Proofs in Context, in: F. Turini (ed.), Proc. META 94, LNCS 883, Springer-Verlag, Berlin, 1994.
Deductions with Meaning - Monz, de Rijke (1998) (Correct)
No context found.
G. Attardi and M. Simi. Building proofs in context. In Proc. of Meta '94, LNCS 883, pages 410--424. Springer, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC