IEEE Symposium on Logic in Computer Science

Authors on this page:

• Jean-Marc Talbot
• Talcott, C.
• Talcott, C.L.
• Talpin, J.-P.
• G. Tan
• Tarlecki, A.
• Makoto Tatsuta
• Paul Taylor
• V. Teague
• Lidia Tendera
• Eugenia Ternovska
• Kazushige Terui
• Neil Thapen
• P. S. Thiagarajan
• Wolfgang Thomas
• Bent Thomsen
• Denis Thérien
• Michael L. Tiomkin
• Sophie Tison
• Tison, S.
• Alwen Tiu
• J. Tiuryn
• Jerzy Tiuryn
• Tiuryn, J.
• Ashish Tiwari
• Tofts, C.M.N.
• Chritophe Tollu
• Noah Torp-Smith
• Salvatore La Torre
• Tayssir Touili
• Toyama, Y.
• Trakhtenbrot, B.A.
• Boris Trakhtenbrot
• Richard J. Trefler
• Richard Trefler
• Ralf Treinen
• Valery Trifonov
• E. Tronci
• Enrico Tronci
• Yih-Kuen Tsay
• Toru Tsujishita
• Daniele Turi
• Franco Turini
• Mathieu Turuani
• Jerzy Tyszkiewicz

Jean-Marc Talbot

• Paper: Joachim Niehren Martin Müller Jean-Marc Talbot
  Entailment of Atomic Set Constraints is PSPACE-Complete (LICS 1999) More Information...
• Paper: Iovka Boneva Jean-Marc Talbot Sophie Tison
  Expressiveness of a Spatial Logic for Trees (LICS 2005) More Information...

Talcott, C.

• Paper: Mason, I.A. Talcott, C.
  Axiomatizing operational equivalence in the presence of side effects (LICS 1989) More Information...

Talcott, C.L.

• Paper: Mason, I.A. Talcott, C.L.
  References, local variables and operational reasoning (LICS 1992) More Information...

Talpin, J.-P.

• Paper: Talpin, J.-P. Jouvelot, P.
  The type and effect discipline (LICS 1992) More Information...

G. Tan

• Short Presentation: G. Tan A. Appel
  Semantics of machine Instructions at Multiple Levels of Abstraction (LICS 2001) More Information...

Tarlecki, A.

• Paper: Harper, R. Sannella, D. Tarlecki, A.
  Structure and representation in LF (LICS 1989) More Information...

Makoto Tatsuta

• Paper: Makoto Tatsuta
  Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis (LICS 1998) More Information...

Paul Taylor

• Paper: Paul Taylor
  The fixed point property in synthetic domain theory (LICS 1991) More Information...

V. Teague

• Invited Talk: J. Mitchell A. Ramanathan V. Teague A. Scedrov
  Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (LICS 2001) More Information...

Lidia Tendera

• Paper: Leszek Pacholski Wieslaw Szwast Lidia Tendera
  Complexity of Two-Variable Logic with Counting (LICS 1997) More Information...
• Paper: Wieslaw Szwast Lidia Tendera
  On the Decision Problem for the Guarded Fragment with Transitivity (LICS 2001) More Information...

Eugenia Ternovska

• Short Presentation: Marc Denecker Eugenia Ternovska
  Modularity Theorems for Non-Monotone Induction (LICS 2003) More Information...

Kazushige Terui

• Paper: Kazushige Terui
  Proof Nets and Boolean Circuits (LICS 2004) More Information...
• Paper: Patrick Baillot Kazushige Terui
  Light Types for Polynomial Time Computation in Lambda-Calculus (LICS 2004) More Information...

Neil Thapen

• Paper: Stephen Cook Neil Thapen
  The Strength of Replacement in Weak Arithmetic (LICS 2004) More Information...

P. S. Thiagarajan

• Paper: P. S. Thiagarajan
  A trace based extension of linear time temporal logic (LICS 1994) More Information...
• Paper: P. S. Thiagarajan I. Walukiewicz
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces (LICS 1997) More Information...

Wolfgang Thomas

• Paper: Wolfgang Thomas
  On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees (LICS 1987) More Information...
• Paper: Oliver Matz Wolfgang Thomas
  The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite (LICS 1997) More Information...
• Invited Talk: Wolfgang Thomas
  Monadic Logic and Automata: Recent Developments (LICS 1998) More Information...
• Invited Talk: Wolfgang Thomas
  The Engineering Challenge for Logic (LICS 2001) More Information...
• Paper: Stefan Wohrle Wolfgang Thomas
  Model Checking Synchronized Products of Infinite Transition Systems (LICS 2004) More Information...

Bent Thomsen

• Paper: Kim Guldstrand Larsen Bent Thomsen
  A modal process logic (LICS 1988) More Information...

Denis Thérien

• Paper: Augustin Baziramwabo Pierre McKenzie Denis Thérien
  Modular Temporal Logic (LICS 1999) More Information...
• Paper: David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien
  The Crane Beach Conjecture (LICS 2001) More Information...

Michael L. Tiomkin

• Paper: Michael L. Tiomkin
  Proving unprovability (LICS 1988) More Information...

Sophie Tison

• Paper: Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
  Decidability of the Confluence of Ground Term Rewriting Systems (LICS 1987) More Information...
• Paper: Iovka Boneva Jean-Marc Talbot Sophie Tison
  Expressiveness of a Spatial Logic for Trees (LICS 2005) More Information...

Tison, S.

• Paper: Dauchet, M. Tison, S.
  The theory of ground rewrite systems is decidable (LICS 1990) More Information...

Alwen Tiu

• Paper: Dale Miller Alwen Tiu
  A Proof Theory for Generic Judgments: An extended abstract (LICS 2003) More Information...

J. Tiuryn

• Paper: A. J. Kfoury J. Tiuryn P. Urzyczyn
  The Hierarchy of Finitely Typed Functional Programs (Short Version) (LICS 1987) More Information...

Jerzy Tiuryn

• Paper: A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn
  On the computational power of universally polymorphic recursion (LICS 1988) More Information...
• Paper: Jerzy Tiuryn Pawel Urzyczyn
  The Subtyping Problem for Second-Order Types is Undecidable (LICS 1996) More Information...
• Paper: Mariangiola Dezani-Ciancaglini Jerzy Tiuryn Pawel Urzyczyn
  Discrimination by Parallel Observers (LICS 1997) More Information...
• Paper: Dexter Kozen Jerzy Tiuryn
  Intuitionistic Linear Logic and Partial Correctness (LICS 2001) More Information...

Tiuryn, J.

• Paper: Kfoury, A.J. Tiuryn, J. Urzyczyn, P.
  Computational consequences and partial solutions of a generalized unification problem (LICS 1989) More Information...
• Paper: Kfoury, A.J. Tiuryn, J.
  Type reconstruction in finite-rank fragments of the polymorphic λ-calculus (LICS 1990) More Information...
• Paper: Tiuryn, J.
  Subtype inequalities (LICS 1992) More Information...

Ashish Tiwari

• Paper: Ashish Tiwari
  Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time (LICS 2002) More Information...

Tofts, C.M.N.

• Paper: van Glabbeek, R. Smolka, S.A. Steffen, B. Tofts, C.M.N.
  Reactive, generative, and stratified models of probabilistic processes (LICS 1990) More Information...

Chritophe Tollu

• Paper: Guy Fayolle Stéphanie Grumbach Chritophe Tollu
  Asymptotic probabilities of languages with generalized quantifiers (LICS 1993) More Information...

Noah Torp-Smith

• Paper: Lars Birkedal Noah Torp-Smith Hongseok Yang
  Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LICS 2005) More Information...
• Short Presentation: Bodil Biering Lars Birkedal Noah Torp-Smith
  Higher-Order Separation Logic (LICS 2005) More Information...

Salvatore La Torre

• Paper: Marco Faella Salvatore La Torre Aniello Murano
  Dense Real-time Games (LICS 2002) More Information...

Tayssir Touili

• Paper: Ahmed Bouajjani Anca Muscholl Tayssir Touili
  Permutation Rewriting and Algorithmic Verification (LICS 2001) More Information...

Toyama, Y.

• Paper: Toyama, Y.
  Strong sequentiality of left-linear overlapping term rewriting systems (LICS 1992) More Information...

Trakhtenbrot, B.A.

• Paper: Rabinovich, A. Trakhtenbrot, B.A.
  Nets and data flow interpreters (LICS 1989) More Information...

Boris Trakhtenbrot

• Paper: Boris Trakhtenbrot
  Origins and Metamorphoses of The Trinity: Logic, Nets, Automata (LICS 1995) More Information...

Richard J. Trefler

• Paper: E. Allen Emerson Richard J. Trefler
  Parametric Quantitative Temporal Reasoning (LICS 1999) More Information...
• Paper: E. Allen Emerson John W. Havlicek Richard J. Trefler
  Virtual Symmetry Reduction (LICS 2000) More Information...

Richard Trefler

• Paper: Panagiotis Manolios Richard Trefler
  Safety and Liveness in Branching Time (LICS 2001) More Information...

Ralf Treinen

• Paper: Martin Müller Joachim Niehren Ralf Treinen
  The First-Order Theory of Ordering Constraints over Feature Trees (LICS 1998) More Information...

Valery Trifonov

• Paper: Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
  A Syntactic Approach to Foundational Proof-Carrying Code (LICS 2002) More Information...

E. Tronci

• Paper: C. Böhm E. Tronci
  X-Separability and Left-Invertibility in lambda-calculus (LICS 1987) More Information...

Enrico Tronci

• Paper: Enrico Tronci
  Equational programming in λ-calculus (LICS 1991) More Information...
• Paper: Enrico Tronci
  Hardware Verification, Boolean Logic Programming, Boolean Functional Programming (LICS 1995) More Information...

Yih-Kuen Tsay

• Paper: Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay
  General decidability theorems for infinite-state systems (LICS 1996) More Information...

Toru Tsujishita

• Paper: Peter Johnstone John Power Toru Tsujishita Hiroshi Watanabe James Worrell
  An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...

Daniele Turi

• Paper: Daniele Turi Gordon Plotkin
  Towards a Mathematical Operational Semantics (LICS 1997) More Information...
• Paper: Marcelo Fiore Gordon Plotkin Daniele Turi
  Abstract Syntax and Variable Binding (LICS 1999) More Information...
• Paper: Marcelo Fiore Daniele Turi
  Semantics of Name and Value Passing (LICS 2001) More Information...

Franco Turini

• Paper: Antonio Brogi Franco Turini
  Semantics of meta-logic in an algebra of programs (LICS 1994) More Information...

Mathieu Turuani

• Paper: Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani
  An NP Decision Procedure for Protocol Insecurity with XOR (LICS 2003) More Information...

Jerzy Tyszkiewicz

• Paper: James F. Lynch Jerzy Tyszkiewicz
  The Infinitary Logic of Sparse Random Graphs (LICS 1995) More Information...