some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

RECENTLY PUBLISHED

Automatic Modular Abstractions for Template Numerical Constraints

  
David Monniaux

Classical BI: Its Semantics and Proof Theory

  
James Brotherston and Cristiano Calcagno

Size-Change Termination, Monotonicity Constraints and Ranking Functions

  
Amir M. Ben-Amram

Lazy Evaluation and Delimited Control

  
Ronald Garcia, Andrew Lumsdaine and Amr Sabry

Transforming Outermost into Context-Sensitive Rewriting

  
Joerg Endrullis and Dimitri Hendriks

Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

  
José L Balcázar




Logical Methods in Computer Science is an open-access journal. All journal content is licensed under a Creative Commons license.