Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
José Miguel Rivero Almeida' Home Page
José Miguel Rivero Almeida
Member of theProgramming
Group of the Department of
Software,Technical University of
Catalonia, in Barcelona.(Secció
de Programació,Departament de Llenguatges i Sistemes
Informàtics,
Universitat Politècnica de Catalunya).
Teaching at the Faculty of Computer
Science
of Barcelona (Facultat d'Informàtica de Barcelona).
José Miguel Rivero Almeida
Technical University of Catalonia, Dept. LSI
Building C5, Room 201-A
Jordi Girona 1, E-08034 Barcelona, Spain.
E-mail: rivero
"at(antispam!)" lsi ".dot" upc ".dot" es
Phone: +34 93 4017295
Fax: +34 93 4017014
Compiladors
Curs 2004-2005. Quatrimestre de tardor
Aqui teniu
algunes transparencies i apunts de compiladors I (analisi lexic i
sintactic)
My main areas of
interest
are related to logic in computer science andimplementation of
logics:
- Automated Deduction:
- Data structures and algorithms for
automated
deduction
- Heuristics for automated theorem proving
- Rewriting
- Symbolic Constraint Solving
- Ordering constraints
- Equality cnstraints, E-unification
Main publications
(the newer ones are on-line).
Here is my PhD.
Thesis (June
1st 2000).
Construction
of Computational Logics II (CCL-II) is a EU Esprit Working Group.
Click here to
get
the test software of the paper on solved forms for path ordering
constraints.