Authors on this page:
- Marco Faella
- François Fages
- C. Faggian
- Claudia Faggian
- Ronald Fagin
- Moreno Falaschi
- Guy Fayolle
- Tomás Feder
- Anita Feferman
- Solomon Feferman
- Matthias Felleisen
- E. Felten
- Amy Felty
- Christian Fermuller
- Maribel Fernandez
- Fernando, R.T.P.
- Maribel Fernández
- G. Filé
- Bernd Finkbeiner
- Alain Finkel
- Marcelo P. Fiore
- Marcelo Fiore
- Marcelo .P. Fiore
- Kathleen Fisher
- Fitting, M.
- Jörg Flum
- Wan Fokkink
- S. Foldes
- Enno Folkerts
- Walter Fontana
- J. Ford
- Cédric Fournet
- Cedric Fournet
- Peter Freyd
- Peter J. Freyd
- Freyd, P.
- Freyd, P.J.
- Marcelo F. Frias
- Fribourg, L.
- Markus Frick
- Daniel P. Friedman
- Harvey M. Friedman
- Nir Friedman
- Alain Frisch
- C. Froidevaux
- Thom Fruhwirth
- Carsten Fuhrmann
Marco Faella
- Paper: Marco Faella Salvatore La Torre Aniello Murano
Dense Real-time Games (LICS 2002) More Information...
François Fages
- Paper: François Fages Paul Ruet Sylvain Soliman
Phase Semantics and Verification of Concurrent Constraint Programs (LICS 1998) More Information...
C. Faggian
- Short Presentation: C. Faggian
Ludics Dynamics: Designs and Interactive Observability (LICS 2002) More Information... - Short Presentation: C. Faggian F. Maurel
Ludics on Graphs. Towards Concurrency (LICS 2004) More Information...
Claudia Faggian
- Paper: Claudia Faggian Francois Maurel
Ludics Nets, a game Model of Concurrent Interaction (LICS 2005) More Information...
Ronald Fagin
- Paper: Ronald Fagin Joseph Y. Halpern
I'm OK if You're OK: On the Notion of Trusting Communication (LICS 1987) More Information... - Paper: Ronald Fagin Joseph Y. Halpern Nimrod Megiddo
A logic for reasoning about probabilities (LICS 1988) More Information... - Invited Talk: Ronald Fagin
Logic, Complexity, and Games (LICS 2000) More Information...
Moreno Falaschi
- Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
Compositional analysis for concurrent constraint programming (LICS 1993) More Information...
Guy Fayolle
- Paper: Guy Fayolle Stéphanie Grumbach Chritophe Tollu
Asymptotic probabilities of languages with generalized quantifiers (LICS 1993) More Information...
Tomás Feder
- Paper: Tomás Feder Moshe Y. Vardi
Homomorphism Closed vs. Existential Positive (LICS 2003) More Information...
Anita Feferman
- Invited Talk: Anita Feferman
The Saga of Alfred Tarski: From Warszawa to Berkeley (LICS 1997) More Information...
Solomon Feferman
- Invited Talk: Solomon Feferman
Tarski's Influence on Computer Science (LICS 2005) More Information...
Matthias Felleisen
- Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
Reasoning with Continuations (LICS 1986) More Information...
E. Felten
- Short Presentation: L. Bauer M. Schneider E. Felten
A proof-Carrying Authorization System (LICS 2001) More Information...
Amy Felty
- Paper: Amy Felty
Encoding the calculus of constructions in a higher-order logic (LICS 1993) More Information...
Christian Fermuller
- Paper: Matthias Baaz Christian Fermuller Alexander Leitsch
A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...
Maribel Fernandez
- Paper: Franco Barbanera Maribel Fernandez Herman Geuvers
Modularity of strong normalization and confluence in the algebraic-λ-cube (LICS 1994) More Information...
Fernando, R.T.P.
- Paper: Fernando, R.T.P.
On substitutional recursion over non-well-founded sets (LICS 1989) More Information...
Maribel Fernández
- Paper: Maribel Fernández Ian Mackie
Coinductive Techniques for Operational Equivalence of Interaction Nets (LICS 1998) More Information...
G. Filé
- Paper: A. Cortesi G. Filé W. Winsborough
Prop revisited: propositional formula as abstract domain for groundness analysis (LICS 1991) More Information...
Bernd Finkbeiner
- Paper: Bernd Finkbeiner Sven Schewe
Uniform Distributed Synthesis (LICS 2005) More Information...
Alain Finkel
- Paper: Javier Esparza Alain Finkel Richard Mayr
On the Verification of Broadcast Protocols (LICS 1999) More Information...
Marcelo P. Fiore
- Paper: Marcelo P. Fiore
A coinduction principle for recursive data types based on bisimulation (LICS 1993) More Information... - Paper: Martin Abadi Marcelo P. Fiore
Syntactic Considerations on Recursive Types (LICS 1996) More Information... - Paper: Gian Luca Cattani Marcelo P. Fiore Glynn Winskel
A Theory of Recursive Domains with Applications to Concurrency (LICS 1998) More Information... - Paper: Marcelo P. Fiore Kohei Honda
Recursive Types in Games: Axiomatics and Process Representation (LICS 1998) More Information...
Marcelo Fiore
- Paper: Marcelo Fiore Gordon Plotkin
An axiomatisation of computationally adequate domain theoretic models of FPC (LICS 1994) More Information... - Paper: Marcelo Fiore Gordon Plotkin John Power
Complete Cuboidal Sets in Axiomatic Domain Theory (LICS 1997) More Information... - Paper: Marcelo Fiore Gian Luca Cattani Glynn Winskel
Weak Bisimulation and Open Maps (LICS 1999) 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... - Paper: Marcelo Fiore Roberto Di Cosmo Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...
Marcelo .P. Fiore
- Paper: Marcelo .P. Fiore Eugenio Moggi Davide Sangiorgi
A Fully-Abstract Model for the pi-calculus (Extended Abstract) (LICS 1996) More Information...
Kathleen Fisher
- Paper: John C. Mitchell Furio Honsell Kathleen Fisher
A lambda calculus of objects and method specialization (LICS 1993) More Information...
Fitting, M.
- Paper: Fitting, M.
Negation as refutation (LICS 1989) More Information...
Jörg Flum
- Paper: Jörg Flum Martin Grohe
Model-Checking Problems as a Basis for Parameterized Intractability (LICS 2004) More Information...
Wan Fokkink
- Paper: Bard Bloom Wan Fokkink Rob Van Glabbeek
Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information...
S. Foldes
- Short Presentation: M. Couceiro S. Foldes
On Definability of Function Classes by Relational Constraints and Corresponding Galois Connections (LICS 2004) More Information...
Enno Folkerts
- Paper: Enno Folkerts
Invertibility in lambda-eta (LICS 1998) More Information...
Walter Fontana
- Invited Talk: Walter Fontana
Logic and Systems Biology (LICS 2005) More Information...
J. Ford
- Short Presentation: J. Ford I. A. Mason N. Shankar
Lessons Learned from Formal Developments in PVS (LICS 2002) More Information...
Cédric Fournet
- Paper: Martín Abadi Cédric Fournet Georges Gonthier
Secure Implementation of Channel Abstractions (LICS 1998) More Information...
Cedric Fournet
- Paper: Bruno Blanchet Martin Abadi Cedric Fournet
Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...
Peter Freyd
- Paper: Peter Freyd Andre Scedrov
Some Semantic Aspects of Polymorphic Lambda Calculus (LICS 1987) More Information...
Peter J. Freyd
- Paper: Peter J. Freyd Jean-Yves Girard Andre Scedrov Philip J. Scott
Semantic parametricity in polymorphic lambda calculus (LICS 1988) More Information...
Freyd, P.
- Paper: Freyd, P. Mulry, P. Rosolini, G. Scott, D.
Extensional PERs (LICS 1990) More Information... - Paper: Freyd, P.
Recursive types reduced to inductive types (LICS 1990) More Information...
Freyd, P.J.
- Paper: Freyd, P.J. Robinson, E.P. Rosolini, G.
Functional parametricity (LICS 1992) More Information...
Marcelo F. Frias
- Paper: Marcelo F. Frias Roger D. Maddux
Completeness of a Relational Calculus for Program Schemes (LICS 1998) More Information...
Fribourg, L.
- Paper: Fribourg, L.
Mixing list recursion and arithmetic (LICS 1992) More Information...
Markus Frick
- Paper: Markus Frick Martin Grohe
The complexity of first-order and monadic second-order logic revisited (LICS 2002) More Information... - Paper: Markus Frick Martin Grohe Christoph Koch
Query Evaluation on Compressed Trees (Extended Abstract) (LICS 2003) More Information...
Daniel P. Friedman
- Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
Reasoning with Continuations (LICS 1986) More Information...
Harvey M. Friedman
- Invited Talk: Harvey M. Friedman
Some Decision Problems of Enormous Complexity (LICS 1999) More Information...
Nir Friedman
- Invited Talk: Nir Friedman Joseph Y. Halpern
Plausibility Measures and Default Reasoning: An Overview (LICS 1999) More Information...
Alain Frisch
- Paper: Alain Frisch Giuseppe Castagna Véronique Benzaken
Semantic subtyping (LICS 2002) More Information...
C. Froidevaux
- Paper: N. Bidoit C. Froidevaux
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (LICS 1987) More Information...
Thom Fruhwirth
- Paper: Thom Fruhwirth Ehud Shapiro Moshe Y. Vardi Eyal Yardeni
Logic programs as types for logic programs (LICS 1991) More Information...
Carsten Fuhrmann
- Paper: Carsten Fuhrmann David Pym
On the Geometry of Interaction for Classical Logic (LICS 2004) More Information...