Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
CSDL
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.