Journal Statistics
1
Views
1
Files
Quick Info
Issue Date
May 2010
Category
Single Issue
Language
English
Peer Reviewed
Academic Journal
Logical Methods in Computer Science Vol 7 Issue 2
Introduction
Logical Methods in Computer Science iwelcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense. Papers are refereed in the traditional way, with two or more referees per paper.
Keywords
Algebraic methods
Computability
Logic
Database theory
Domain theory
logic programming
computer science