Works matching IS 13670751 AND DT 2009 AND VI 17 AND IP 6
Results: 8
Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories”Logic Journal of the IGPL, 16(6): 585–590(2008).
- Published in:
- 2009
- By:
- Publication type:
- Correction Notice
Independence-friendly cylindric set algebras.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 719, doi. 10.1093/jigpal/jzp029
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 817, doi. 10.1093/jigpal/jzp066
- Publication type:
- Article
Explicit substitutions calculi with one step Eta-reduction decided explicitly.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027
- By:
- Publication type:
- Article
Modelling evolvable component systems.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 631, doi. 10.1093/jigpal/jzp026
- By:
- Publication type:
- Article
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009).
- Published in:
- 2009
- By:
- Publication type:
- Proceeding
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 755, doi. 10.1093/jigpal/jzp013
- By:
- Publication type:
- Article
Extended semantics and inference for the Independent Choice Logic.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 589, doi. 10.1093/jigpal/jzp025
- By:
- Publication type:
- Article