Contingency Planning in Linear Time Logic more>>
Doctoral Dissertation A Static Analysis of a Classical Linear Logic Programming Language Kyoung-Sun Kang March 2000 The Graduate School of ... more>>
Theory and Applications of Categories, Vol. 22, No. 10, 2009, pp. 269–301. ON THE CATEGORICAL SEMANTICS OF ELEMENTARY LINEAR LOGIC OLIVIER ... more>>
What is a Logic? Till Mossakowski, Joseph Goguen, R˘zvan Diaconescu and Andrzej a Tarlecki Mathematics Subject Classification (2000). Primary 03C95; ... more>>
Preference Logic Programming more>>
1 Logic Programs more>>
Program Tranformations for non-linear recursive logic programs Manolis Gergatsoulis Maria Katzouraki Institute of Informatics and Telecommunications ... more>>
The Logic of Success1 Kevin T. Kelly Department of Philosophy Carnegie Mellon University Forthcoming, Special Anniversary Issue, British Journal for ... more>>
Edexcel Linear - Higher Tier more>>
Logic, Automata and Recursion schemes more>>
After Infeasibility in linear Program Problems more>>
Some Crisp Thoughts on Fuzzy Logic more>>