MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Agata Ciabattoni" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Bounded Contraction in Systems with Linearity
by Agata Ciabattoni — 1999 — In Proceedings of International Conference TABLEAUX’99, Analytic Tableaux and Related Methods, volume 1617 of LNAI
…Bounded Contraction in Systems with Linearity Agata Ciabattoni Dipartimento di Informatica…
Cited by 4 (4 self) – Add To MetaCart

Automated Generation of Analytic Calculi for Logics with Linearity
by Agata Ciabattoni — 2004 — Proceedings of CSL’04, vol. 3210 LNCS
…Automated Generation of Analytic Calculi for Logics with Linearity Agata Ciabattoni ⋆ Institut für…
Cited by 7 (4 self) – Add To MetaCart

On Urquhart's C Logic
by Agata Ciabattoni, C (b — 2000 — In International Symposium on Multiple Valued Logic (ISMVL’2000
…On Urquhart's C Logic Agata Ciabattoni Dipartimento di Informatica Via Comelico, 39 -- 20135 Milano…
Cited by 5 (2 self) – Add To MetaCart

Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
by Agata Ciabattoni, Mauro Ferrari — 2000 — J. of Logic and Computation
…Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni…
Cited by 7 (3 self) – Add To MetaCart

A Schütte-Tait style cut-elimination proof for firstorder Gödel logic
by Matthias Baaz, Agata Ciabattoni — 2002 — In Automated Reasoning with Tableaux and Related Methods (Tableaux’02), volume 2381 of LNAI
… Ciabattoni ⋆ Technische Universität Wien, A-1040 Vienna, Austria {agata,baaz}@(email omitted); Abstract. We present a…
Cited by 7 (5 self) – Add To MetaCart

Density Elimination and Rational Completeness for First-Order Logics
by Agata Ciabattoni, George Metcalfe
…Density Elimination and Rational Completeness for First-Order Logics ⋆ Agata Ciabattoni 1…
Cited by 1 (1 self) – Add To MetaCart

Density Elimination
by Agata Ciabattoni, George Metcalfe — 2008
…Density Elimination 1 Agata Ciabattoni Institut für Diskrete Mathematik und Geometrie Wiedner…
Add To MetaCart

Finiteness in infinite-valued Lukasiewicz logic
by Stefano Aguzzoli, Agata Ciabattoni — 2000
…Finiteness in innite-valued Lukasiewicz logic Stefano Aguzzoli 1 and Agata Ciabattoni 2 1…
Cited by 4 (1 self) – Add To MetaCart

Modular cut-elimination: Finding proofs or counterexamples
by Agata Ciabattoni, Kazushige Terui — 2006 — Proceedings of the 13-th International Conference of Logic for Programming AI and Reasoning (LPAR06), LNAI 4246
…Modular Cut-Elimination: Finding Proofs or Counterexamples Agata Ciabattoni 1⋆ and Kazushige Terui…
Cited by 5 (0 self) – Add To MetaCart

Effective Applicative Structures
by Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato — 1995 — In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). Springer-Verlag Lecture Notes in Computer Science 953 81--95
…Effective Applicative Structures Andrea Asperti Agata Ciabattoni Technical Report UBLCS-95…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB