Searching for "Logic, Language, Information and Computation." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Conferences
- …Conferences Second Workshop on Logic, Language, Information and Computation (WoLLIC'95) The 2nd…
- Add To MetaCart
-
Cv
- …, Information and Computation (WoLLIC), Logic Journal of Interest Group in Pure and Applied Logics (IGPL), vol…
- Add To MetaCart
-
Cv
- …, Information and Computation (WoLLIC), Logic Journal of Interest Group in Pure and Applied Logics (IGPL), vol…
- Add To MetaCart
-
Classical Negation can be
- … at the 4th Workshop on Logic, Language, Information and Computation (WoLLIC'97 ), http…
- Add To MetaCart
-
BRICS Research Series, 1998.
- … in Logic Journal of IGPL, a special section devoted the 5th Workshop on Logic, Language, Information…
- Add To MetaCart
-
Relational Proof System for Linear and Other Substructural Logics
- … for 1 Full version of a paper presented at the 3rd Workshop on Logic, Language, Information…
- Cited by 2 (0 self) – Add To MetaCart
-
Decision Procedures and Model Building in Equational Clause Logic
- …, Language, Information and Computation (WoLLIC’96 , http://www.di.ufpe.br/simposios/wollic/wollic96.html…
- Cited by 15 (2 self) – Add To MetaCart
-
Concurrent Inference through Dual Transformation
- …, Language, Information and Computation (WoLLIC'95), July 26--28, 1995, Recife (Pernambuco), Brazil…
- Cited by 4 (3 self) – Add To MetaCart
-
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
- … on Logic, Language, Information and Computation (WoLLIC’97 ), http://www.di.ufpe.br/~wollic/wollic97, held…
- Cited by 4 (0 self) – Add To MetaCart
-
A Note on Logical Relations Between Semantics and Syntax
- … proof of 1 Full version of an invited paper presented at the 3rd Workshop on Logic, Language…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
