dblp.uni-trier.dewww.uni-trier.de

Emilio Muñoz-Velasco

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
6EEJoanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139
5EEAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. 85(3&4): 371-383 (2008)
2007
4EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA 2007: 210-219
2006
3EEGabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA 2006: 602-611
2005
2EEAlfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
2002
1EEAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-

Coauthor Index

1Gabriel Aguilera [3]
2Alfredo Burrieza [1] [2] [3] [4] [5] [7]
3Pablo Cordero [3]
4Joanna Golinska-Pilarek [6]
5Inmaculada Perez de Guzmán [3]
6Inman P. de Guzmán [1] [5]
7Angel Mora [6]
8Manuel Ojeda-Aciego [2] [4] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)