The SCEAS System
Navigation Menu

Conferences in DBLP

Logic in Computer Science (LICS) (lics)
2008 (conf/lics/2008)

  1. On the Expressiveness and Complexity of Randomization in Finite State Monitors. [Citation Graph (, )][DBLP]

  2. Combining Generic Judgments with Recursive Definitions. [Citation Graph (, )][DBLP]

  3. Mechanizing the Metatheory of LF. [Citation Graph (, )][DBLP]

  4. Second-Order and Dependently-Sorted Abstract Syntax. [Citation Graph (, )][DBLP]

  5. Structural Logical Relations. [Citation Graph (, )][DBLP]

  6. Types for Hereditary Permutators. [Citation Graph (, )][DBLP]

  7. Context Matching for Compressed Terms. [Citation Graph (, )][DBLP]

  8. Nonlocal Flow of Control and Kleene Algebra with Tests. [Citation Graph (, )][DBLP]

  9. A Logic for Algebraic Effects. [Citation Graph (, )][DBLP]

  10. An Algebraic Process Calculus. [Citation Graph (, )][DBLP]

  11. On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP]

  12. On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. [Citation Graph (, )][DBLP]

  13. General Structural Operational Semantics through Categorical Logic. [Citation Graph (, )][DBLP]

  14. Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs. [Citation Graph (, )][DBLP]

  15. Winning Regions of Higher-Order Pushdown Games. [Citation Graph (, )][DBLP]

  16. The Ordinal Recursive Complexity of Lossy Channel Systems. [Citation Graph (, )][DBLP]

  17. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. [Citation Graph (, )][DBLP]

  18. From Axioms to Analytic Rules in Nonclassical Logics. [Citation Graph (, )][DBLP]

  19. Focusing on Binding and Computation. [Citation Graph (, )][DBLP]

  20. A First-Order Representation of Pure Type Systems Using Superdeduction. [Citation Graph (, )][DBLP]

  21. The Quest for a Logic Capturing PTIME. [Citation Graph (, )][DBLP]

  22. On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. [Citation Graph (, )][DBLP]

  23. On the Computational Complexity of Cut-Reduction. [Citation Graph (, )][DBLP]

  24. Maltsev + Datalog --> Symmetric Datalog. [Citation Graph (, )][DBLP]

  25. Caterpillar Duality for Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]

  26. Quantified Constraints and Containment Problems. [Citation Graph (, )][DBLP]

  27. Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule. [Citation Graph (, )][DBLP]

  28. Typed Normal Form Bisimulation for Parametric Polymorphism. [Citation Graph (, )][DBLP]

  29. Reachability Games and Game Semantics: Comparing Nondeterministic Programs. [Citation Graph (, )][DBLP]

  30. Weak Topology and a Differentiable Operator for Lipschitz Maps. [Citation Graph (, )][DBLP]

  31. A Logical Characterization of Individual-Based Models. [Citation Graph (, )][DBLP]

  32. The Satisfiability Problem for Probabilistic CTL. [Citation Graph (, )][DBLP]

  33. The Axiomatic Derivation of Absolute Lower Bounds. [Citation Graph (, )][DBLP]

  34. Definable Tree Decompositions. [Citation Graph (, )][DBLP]

  35. Hypergraph Acyclicity and Extension Preservation Theorems. [Citation Graph (, )][DBLP]

  36. From Automatic Structures to Borel Structures. [Citation Graph (, )][DBLP]

  37. Piecewise Testable Tree Languages. [Citation Graph (, )][DBLP]

  38. Collapsible Pushdown Automata and Recursion Schemes. [Citation Graph (, )][DBLP]

  39. The Geometry of Interaction of Differential Interaction Nets. [Citation Graph (, )][DBLP]

  40. Correctness of Multiplicative Additive Proof Structures is NL-Complete. [Citation Graph (, )][DBLP]

  41. Cut Elimination for Monomial MALL Proof Nets. [Citation Graph (, )][DBLP]

  42. A Neutral Approach to Proof and Refutation in MALL. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002