IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishJTabWb is a Java framework for developing provers based on terminating sequent or tableau calculi. It provides a generic engine which performs proof-search driven by a user-defined specification. The user is required to define the components of a prover by implementing suitable Java interfaces. The implemented provers can be used as standalone applications or embedded in other Java applications. The framework also supports proof-trace generation, LATEX rendering of proofs and counter-model generation.
Ferrari, M., Fiorentini, C., & Fiorino, G. (2014). JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. (pp.46-53). CEUR-WS.org.
| Citazione: | Ferrari, M., Fiorentini, C., & Fiorino, G. (2014). JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. (pp.46-53). CEUR-WS.org. |
| Tipo: | paper |
| Carattere della pubblicazione: | Scientifica |
| Presenza di un coautore afferente ad Istituzioni straniere: | No |
| Titolo: | JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi |
| Autori: | Ferrari, M; Fiorentini, C; Fiorino, G |
| Autori: | FIORINO, GUIDO GIUSEPPE (Ultimo) |
| Data di pubblicazione: | 2014 |
| Lingua: | English |
| Nome del convegno: | 29th Italian Conference on Computational Logic |
| Appare nelle tipologie: | 02 - Intervento a convegno |
File in questo prodotto:
http://hdl.handle.net/10281/157790
Copyright © 2020