Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
LICS, 1998.

@proceedings{LICS-1998,
	address       = "Indianapolis, Indiana, USA",
	ee            = "http://www.computer.org/csdl/proceedings/lics/1998/8506/00/index.html",
	isbn          = "0-8186-8506-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}",
	year          = 1998,
}

Contents (47 items)

12 ×#logic
5 ×#calculus
5 ×#higher-order
4 ×#on the
4 ×#process
4 ×#semantics
3 ×#first-order
3 ×#linear
3 ×#recursion
3 ×#theorem

LICS-1998-Needham #logic

Logic and Over-Simplification (RMN), pp. 2–3.

LICS-1998-Grohe #fixpoint #graph #logic

Fixed-Point Logics on Planar Graphs (MG), pp. 6–15.

LICS-1998-EiterGG #higher-order #logic #string

Existential Second-Order Logic over Strings (TE, GG, YG), pp. 16–27.

LICS-1998-DawarHS #finite #quantifier

Ordering Finite Variable Types with Generalized Quantifiers (AD, LH, AS), pp. 28–43.

LICS-1998-Jaeger #convergence #network #relational

Convergence Results for Relational Bayesian Networks (MJ), pp. 44–55.

LICS-1998-CharatonikMNPW #calculus #μ-calculus

The Horn μ-calculus (WC, DAM, DN, AP, IW), pp. 58–69.

LICS-1998-EmersonN #infinity #model checking #nondeterminism #on the

On Model Checking for Non-Deterministic Infinite-State Systems (EAE, KSN), pp. 70–80.

LICS-1998-KupfermanV #linear

Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (OK, MYV), pp. 81–92.

LICS-1998-NeculaL #performance #proving #representation #validation

Efficient Representation and Validation of Proofs (GCN, PL), pp. 93–104.

LICS-1998-AbadiFG #abstraction #implementation

Secure Implementation of Channel Abstractions (MA, CF, GG), pp. 105–116.

LICS-1998-ArieliA #logic

The Logical Role of the Four-Valued Bilattice (OA, AA), pp. 118–126.

LICS-1998-FriasM #calculus #relational

Completeness of a Relational Calculus for Program Schemes (MFF, RDM), pp. 127–134.

LICS-1998-Thomas #automaton #logic #monad

Monadic Logic and Automata: Recent Developments (WT), pp. 136–138.

LICS-1998-FagesRS #concurrent #constraints #semantics #source code #verification

Phase Semantics and Verification of Concurrent Constraint Programs (FF, PR, SS), pp. 141–152.

LICS-1998-Bernstein #congruence #higher-order #semantics #theorem

A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (KLB), pp. 153–164.

LICS-1998-BorealeS #bisimulation #calculus

Bisimulation in Name-Passing Calculi without Matching (MB, DS), pp. 165–175.

LICS-1998-ParrowV #calculus #mobile #process #symmetry

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.

LICS-1998-BirkedalCRS #category theory #type system

Type Theory via Exact Categories (LB, AC, GR, DSS), pp. 188–198.

LICS-1998-HermidaMP #higher-order #multi

Higher Dimensional Multigraphs (CH, MM, JP), pp. 199–206.

LICS-1998-JohnstonePTWW #algebra #axiom #category theory

An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.

LICS-1998-CattaniFW #concurrent #formal method #recursion

A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.

LICS-1998-Dalen

L. E. J. Brouwer’s Intuitionism: A Revolution in Two Installments (DvD), pp. 228–241.

LICS-1998-Benthem #logic #process

Process Operations in Extended Dynamic Logics (JvB), pp. 244–250.

LICS-1998-Voronkov #automation #reasoning #semantics #theorem

Herbrand’s Theorem, Automated Reasoning and Semantics Tableaux (AV), pp. 252–263.

LICS-1998-Veanes #higher-order #unification

The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification (MV), pp. 264–275.

LICS-1998-ComonNNR #order #problem

Decision Problems in Ordered Rewriting (HC, PN, RN, MR), pp. 276–286.

LICS-1998-Mellies #theorem

A Stability Theorem in Rewriting Theory (PAM), pp. 287–298.

LICS-1998-Asperti #logic

Light Affine Logic (AA), pp. 300–308.

LICS-1998-Mackie #linear #logic

Linear Logic With Boxes (IM), pp. 309–320.

LICS-1998-FernandezM #equivalence #induction #interactive

Coinductive Techniques for Operational Equivalence of Interaction Nets (MF, IM), pp. 321–332.

LICS-1998-AbramskyHM #game studies #semantics

A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.

LICS-1998-FioreH #axiom #game studies #process #recursion #representation

Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.

LICS-1998-Tatsuta #synthesis

Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis (MT), pp. 358–367.

LICS-1998-Yokouchi #quantifier

Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers (HY), pp. 368–379.

LICS-1998-Viswanathan #abstraction #first-order #recursion #type system

Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.

LICS-1998-Vardi #branch #linear #perspective

Linear vs. Branching Time: A Complexity-Theoretic Perspective (MYV), pp. 394–405.

LICS-1998-PavlovicE #calculus #induction

Calculus in Coinductive Form (DP, MHE), pp. 408–417.

LICS-1998-Folkerts

Invertibility in λη (EF), pp. 418–429.

LICS-1998-MullerNT #constraints #first-order

The First-Order Theory of Ordering Constraints over Feature Trees (MM, JN, RT), pp. 432–443.

LICS-1998-JohannsenP #on the #proving

On Proofs about Threshold Circuits and Counting Hierarchies (JJ, CP), pp. 444–452.

LICS-1998-Alfaro #behaviour #how #probability #verification

How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.

LICS-1998-StarkS #analysis #automaton #composition #network #probability

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.

LICS-1998-DesharnaisEP #bisimulation #logic #markov #process

A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.

LICS-1998-BaldwinB #embedded #finite #modelling #order

Embedded Finite Models, Stability Theory and the Impact of Order (JTB, MB), pp. 490–500.

LICS-1998-Libkin #logic #on the

On Counting Logics and Local Properties (LL), pp. 501–512.

LICS-1998-KolaitisO #bound #first-order #logic #on the #problem

On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.

LICS-1998-Bars #higher-order #logic

Fragments of Existential Second-Order Logic without 0-1 Laws (JMLB), pp. 525–536.