The following pages link to Stefano Baratella (Q200743):
Displaying 40 items.
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
- Isometry games in Banach spaces (Q953988) (← links)
- The theory of \({\mathbf Z}C(2)^2\)-lattices is decidable (Q1128174) (← links)
- A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses (Q1193863) (← links)
- A parallel game semantics for linear logic (Q1360314) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Preservation of properties in nonstandard hulls of \(C^\ast\)-algebras (Q2340451) (← links)
- A predicate extension of real valued logic (Q2402962) (← links)
- Retracted article: ``A completeness theorem for continuous predicate modal logic'' (Q2408087) (← links)
- Some properties of nonstandard hulls of Banach algebras (Q2430149) (← links)
- An infinitary propositional probability logic (Q2700825) (← links)
- Quantum coherent spaces and linear logic (Q2998726) (← links)
- Pure-injective modules over the dihedral algebras (Q3123185) (← links)
- (Q3200532) (← links)
- A note on unbounded metric temporal logic over dense time domains (Q3419667) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- On Some Properties of Recursively Enumerable Equivalence Relations (Q3800019) (← links)
- (Q3832076) (← links)
- Approximating classical theorems (Q4228077) (← links)
- (Q4247298) (← links)
- Fixed points in the nonstandard hull of a Banach space (Q4259691) (← links)
- A theory of sets with the negation of the axiom of infinity (Q4304117) (← links)
- A Modal Approach to Negation as Failure Rule (Q4305346) (← links)
- A nonstandard proof of the Eberlein-Smulian theorem (Q4417213) (← links)
- A natural deduction system for bundled branching time logic (Q4583318) (← links)
- Continuous propositional modal logic (Q4646652) (← links)
- (Q4699354) (← links)
- An infinitary variant of Metric Temporal Logic over dense time domains (Q4736752) (← links)
- (Q4792323) (← links)
- Consequences of neocompact quantifier elimination (Q4804174) (← links)
- A Way of Making World Quantification Explicit (Q4823802) (← links)
- Non Standard Regular Finite Set Theory (Q4835520) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
- The eal truth (Q5179272) (← links)
- Neocompact quantifier elimination in structures based on Banach spaces (Q5942464) (← links)
- A finitary outer measure logic (Q6042094) (← links)
- A two-dimensional metric temporal logic (Q6315586) (← links)
