Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Finger, Marcelo - Departamento de Ciência da Computação, Universidade de São Paulo
The Lacio-Web Project: overview and issues in Brazilian Portuguese corpora creation
On the insufciency of ontologies: problems in knowledge sharing and alternative solutions
Approximations of Modal Logics: K and Guilherme de Souza Rabello and Marcelo Finger
Analytic Methods for the Logic of Proofs MARCELO FINGER, Department of Computer Science (IME/USP), University of
Department of Computing Imperial College of Science, Technology and Medicine
Revising Specifications with CTL Properties using Bounded Model Checking
DAG Sequent Proofs with a Substitu-Marcelo Finger
Effective Prover for Minimal Inconsistency Adolfo Gustavo Serra Seca Neto and Marcelo Finger
IMPERATIVE HISTORY: TWO-DIMENSIONAL EXECUTABLE TEMPORAL LOGIC
Resource Use Pattern Analysis for Opportunistic Grids Marcelo Finger
InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines
Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover
Implementing a Multi-Strategy Theorem Prover Adolfo Gustavo Serra Seca Neto1
Labelled Natural Deduction for Substructural Logics
Towards Polynomial Approximations of Full Propositional Logic
Towards Structurally-Free Theorem MARCELO FINGER, Departamento de Ci^encia da Computac~ao,
Cut-Based Abduction Marcello D'Agostino Marcelo Finger Dov Gabbay
Theoretical Computer Science 355 (2006) 153166 www.elsevier.com/locate/tcs
Adding a temporal dimension to a logic MARCELO FINGER and DOV M. GABBAY
CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1 Prepared using cpeauth.cls [Version: 2002/09/19 v2.02]
Anytime Approximations of Classical Logic from Above
Trust in Large-Scale Computational Grids: An SPKI/SDSI Extension for Representing Opinion
Equal Rights for the Cut: Computable Non-analytic Cuts in
Journal of Logic, Language and Information (2006) 15: 195218 C Springer 2006 DOI: 10.1007/s10849-005-9001-y
Theoretical Computer Science 318 (2004) 373408 www.elsevier.com/locate/tcs
Parsing Natural Language using LDS: A Prototype
Handling Database Updates in Two-dimensional Temporal Logic
A KE Tableau for a Logic of Formal Inconsistency
WoLLIC 2005 Preliminary Version Approximations of Modal Logic K
ProjetodeDadosemBancosdeDadosDistribudos1 Eduardo Jos Soler Mesquita2
On the Semantics of `Current-Time' In Temporal Databases Marcelo Finger
Notes on Several Methods for Combining Temporal Logic Marcelo Finger
