Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Juan Climent Vidal

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j2]
- view
  - electronic edition @ edu.pl
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/rml/VidalT10
- ask others
Juan Climent Vidal, Juan Soliveres Tur: A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Reports on Mathematical Logic 45: 37-95 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[j1]
- view
  - electronic edition @ edu.pl
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/rml/VidalT06
- ask others
Juan Climent Vidal, Juan Soliveres Tur: On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. Reports on Mathematical Logic 40: 127-158 (2006)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?