Return to JournalSeek Home

Genamics JournalSeek

International Journal of Logic and Computation
Int J Logic Comput

Published/Hosted by CSC Journals. ISSN: 2180-1290.

The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI.

   Further information
   Category Link








Add To Favorites
Email This Page



Side Panel
Privacy Policy About Us Contact Us