default search action

combined dblp search
author search
venue search
publication search

ask others

Iván Martínez Ruiz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

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

2010
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/mx/Ruiz10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/mx/Ruiz10
Iván Martínez Ruiz:
Selections and weak orderability. UNAM, Mexico, 2010

Journal Articles

see FAQ

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

2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cys/TorizBRA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cys/TorizBRA16
Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez:
(Hyper)sequent Calculi for the ALC(S4) Description Logics. Computación y Sistemas 20(1) (2016)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaip/SalazarAR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaip/SalazarAR14
Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez, Iván Martínez Ruiz:
Semantics for some non-classical possibilistic logics. Int. J. Adv. Intell. Paradigms 6(3): 191-213 (2014)

Conference and Workshop Papers

see FAQ

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

2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/TorizRA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/TorizRA14
Juan Pablo Munoz Toriz, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez:
On Automatic Theorem Proving with ML. MICAI (Special Sessions) 2014: 231-236
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/SalazarRR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/SalazarRR13
Rubén Octavio Vélez Salazar, José Ramón Enrique Arrazola-Ramírez, Iván Martínez Ruiz:
Possibilistic Minimal Models for Possibilistic Normal Programs. MICAI (1) 2013: 110-119

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.