Searching for authors named "Marcelo Finger" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Changing the Past: Database Applications of Two-Dimensional Temporal Logics
- … Changing the Past: Database Applications of Two-Dimensional Temporal Logics Marcelo Finger February 1994 A…
- Cited by 6 (2 self) – Add To MetaCart
-
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases
- … Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases Marcelo…
- Cited by 5 (0 self) – Add To MetaCart
-
Handling Database Updates in Two-dimensional Temporal Logic
- …Handling Database Updates in Two-dimensional Temporal Logic Marcelo Finger y Department…
- Cited by 11 (4 self) – Add To MetaCart
-
Tableaux for Approximate Reasoning
- …Tableaux for Approximate Reasoning Marcelo Finger and Renata Wassermann fmfinger…
- Cited by 1 (1 self) – Add To MetaCart
-
Sharing Resource-Sensitive Knowledge using Combinator Logics
- …Sharing Resource-Sensitive Knowledge using Combinator Logics Marcelo Finger y Instituto de…
- Cited by 1 (1 self) – Add To MetaCart
-
Combining Temporal Logic Systems
- …Combining Temporal Logic Systems Marcelo Finger Dov Gabbay Imperial College, Department…
- Cited by 24 (2 self) – Add To MetaCart
-
On the Semantics of `Current-Time' In Temporal Databases
- …On the Semantics of `Current-Time' In Temporal Databases Marcelo Finger Departamento de Ciencia da…
- Cited by 5 (1 self) – Add To MetaCart
-
Parsing Natural Language using LDS: A Prototype
- …Parsing Natural Language using LDS: A Prototype Marcelo Finger Departamento de Ciencia da…
- Add To MetaCart
-
InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines
- … Andrei Goldchleger Fabio Kon Alfredo Goldman Marcelo Finger Department of Computer Science – University…
- Cited by 21 (10 self) – Add To MetaCart
-
METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic
- …METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic * Marcelo Finger…
- Cited by 12 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
