Conference Proceedings uoadl:1001829 3069 Read counter
21. Nonstandard methods in many-valued logics
Conference Paper uoadl:104629222. Cut elimination in the simply lambda calculus
Conference Paper uoadl:104629523. Church-Rosser theorem for conjunctive type systems
Conference Paper uoadl:104630424. Formal number theory and subrecursive degree structures
Conference Paper uoadl:104631225. Reverse Recursion Theory: Some results
Conference Paper uoadl:104631826. Idempotence of classical logics and the logic of multisets
Conference Paper uoadl:104632527. Ανάστροφα μαθηματικά: επισκόπηση
Conference Paper uoadl:104633228. Computable and polynomially time computable real and p-adic numbers
Conference Paper uoadl:104633929. To preference via entrenchment
Conference Paper uoadl:104680330. Unknown but not undefined?
Conference Paper uoadl:104681331. On the role of interpolation in stepwise refinement
Conference Paper uoadl:104683632. Complexity of products of modal logics
Conference Paper uoadl:104684133. Trends in reasoning about action
Conference Paper uoadl:104684734. Linear programming based induction (LPI): a constraint logic programming elaboration
Conference Paper uoadl:104686035. Logic as a vehile for real life applications
Conference Paper uoadl:104686836. Logic-Based tools for legal contract drafting: prospects and problems
Conference Paper uoadl:104687837. Contraction can result in less uncertainty
Conference Paper uoadl:104688838. Modular logic programming and abstract data types
Conference Paper uoadl:104689339. Reductions of search space in RUE-Resolution theorem proving
Conference Paper uoadl:104689740. Reasoning about termination of tabled logic programs
Conference Paper uoadl:1046903