The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pablo Cordero" ( http://dblp.L3S.de/Authors/Pablo_Cordero )

  Author page on DBLP  Author page in RDF  Community of Pablo Cordero in ASPL-2

Publication years (Num. hits)
1999-2009 (19) 2010-2013 (24) 2014-2015 (17) 2016-2017 (15) 2018-2019 (9)
Publication types (Num. hits)
article(34) inproceedings(50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 85 publication records. Showing 84 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Minimal generators, an affordable approach by means of massive computation. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego A Relational Extension of Galois Connections. Search on Bibsonomy ICFCA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Pablo Gomez González An Approach to Visualize Implications. Search on Bibsonomy ICFCA (Supplements) The full citation details ... 2019 DBLP  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Direct-optimal basis computation by means of the fusion of simplification rules. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001 Directness in Fuzzy Formal Concept Analysis. Search on Bibsonomy IPMU (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Formal Independence Analysis. Search on Bibsonomy IPMU (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil Towards Simplification Logic for Graded Attribute Implications with General Semantics. Search on Bibsonomy CLA The full citation details ... 2018 DBLP  BibTeX  RDF
1Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego A Data Analysis Application of Formal Independence Analysis. Search on Bibsonomy CLA The full citation details ... 2018 DBLP  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla Canonical dichotomous direct bases. Search on Bibsonomy Inf. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla Reducing the search space by closure and simplification paradigms. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Formation of the D-basis from implicational systems using Simplification logic. Search on Bibsonomy Int. J. General Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1L. Jezková, Pablo Cordero, Manuel Enciso Fuzzy functional dependencies: A comparative survey. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets On the construction of adjunctions between a fuzzy preposet and an unstructured set. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Joshua M. Stuart Tracing Co-Regulatory Network Dynamics in Noisy, Single-Cell Transcriptome Trajectories. Search on Bibsonomy PSB The full citation details ... 2017 DBLP  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Relational fuzzy Galois connections. Search on Bibsonomy IFSA-SCIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Towards relational fuzzy adjunctions. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Galois connections in computational intelligence: A short survey. Search on Bibsonomy SSCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph Concept lattices with negative information: A characterization theorem. Search on Bibsonomy Inf. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil Automated prover for attribute dependencies in data with grades. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla CAISL: Simplification Logic for Conditional Attribute Implications. Search on Bibsonomy CLA The full citation details ... 2016 DBLP  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures. Search on Bibsonomy CLA The full citation details ... 2016 DBLP  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego On fuzzy relations, adjunctions, and functional fuzzy relations. Search on Bibsonomy SSCI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Siqi Tian, Joseph D. Yesselman, Pablo Cordero, Rhiju Das Primerize: automated primer assembly for transcribing non-coding RNA domains. Search on Bibsonomy Nucleic Acids Research The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego, Carlos Rossi Knowledge discovery in social networks by using a logic-based treatment of implications. Search on Bibsonomy Knowl.-Based Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Rhiju Das Rich RNA Structure Landscapes Revealed by Mutate-and-Map Analysis. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. Search on Bibsonomy ICFCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora 0001 From an Implicational System to its Corresponding D-basis. Search on Bibsonomy CLA The full citation details ... 2015 DBLP  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 A Normal Form for Fuzzy Functional Dependencies. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego On Fuzzy Preordered Sets and Monotone Galois Connections. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Search on Bibsonomy Inf. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego On residuation in multilattices: Filters, congruences, and homomorphisms. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A tableaux-like method to infer all minimal keys. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Negative Attributes and Implications in Formal Concept Analysis. Search on Bibsonomy ITQM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez Generating Isotone Galois Connections on an Unstructured Codomain. Search on Bibsonomy IPMU (3) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez On the Existence of Isotone Galois Connections between Preorders. Search on Bibsonomy ICFCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. Search on Bibsonomy ICSOFT EA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. Search on Bibsonomy RSCTC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. Search on Bibsonomy CLA The full citation details ... 2014 DBLP  BibTeX  RDF
1Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora 0001 The Direct-optimal Basis via Reductions. Search on Bibsonomy CLA The full citation details ... 2014 DBLP  BibTeX  RDF
1Hanjoo Kim, Pablo Cordero, Rhiju Das, Sungroh Yoon HiTRACE-Web: an online tool for robust analysis of high-throughput capillary electrophoresis. Search on Bibsonomy Nucleic Acids Research The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora 0001 Automated Inference with Fuzzy Functional Dependencies over Graded Data. Search on Bibsonomy IWANN (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego On Galois Connections and Soft Computing. Search on Bibsonomy IWANN (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, José Manuel Rodríguez-Jiménez Computing non-redundant sets of functional dependencies via simplification. Search on Bibsonomy FOCI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001, Antonio Guevara Context-aware Recommendation using Fuzzy Formal Concept Analysis. Search on Bibsonomy ICSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001 Quality Improvement in Data Models with SLFD-based OCL Constraints. Search on Bibsonomy ICSOFT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora 0001, Antonio Guevara Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. Search on Bibsonomy ICSOFT (Selected Papers) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego Computing Left-Minimal Direct Basis of implications. Search on Bibsonomy CLA The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001 Automated Reasoning to Infer all Minimal Keys. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora Bonilla, Manuel Ojeda-Aciego Bases via Minimal Generators. Search on Bibsonomy FCA4AI@IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Angel Mora 0001, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera Closure via functional dependence simplification. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego Finitary coalgebraic multisemilattices and multilattices. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Julius B. Lucks, Rhiju Das An RNA Mapping DataBase for curating RNA structure mapping experiments. Search on Bibsonomy Bioinformatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Konrad J. Karczewski, Robert P. Tirrell, Pablo Cordero, Nicholas P. Tatonetti, Joel T. Dudley, Keyan Salari, Michael Snyder, Russ B. Altman, Stuart K. Kim Interpretome: A Freely Available, Modular, and Secure Personal Genome Interpretation Engine. Search on Bibsonomy Pacific Symposium on Biocomputing The full citation details ... 2012 DBLP  BibTeX  RDF
1Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Vilém Vychodil An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. Search on Bibsonomy MDAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Manuel Ojeda-Aciego Computing Minimal Generators from Implications: a Logic-guided Approach. Search on Bibsonomy CLA The full citation details ... 2012 DBLP  BibTeX  RDF
1Angel Mora 0001, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Julius B. Lucks, Rhiju Das The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. Search on Bibsonomy IWANN (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Non-deterministic Algebraic Structures for Soft Computing. Search on Bibsonomy IWANN (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez Specification and inference of fuzzy attributes. Search on Bibsonomy FOCI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel Enciso García-Oliveros, Angel Mora Bonilla, Pablo Cordero, Rosario Baena A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. Search on Bibsonomy ICSOFT (1) The full citation details ... 2011 DBLP  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego A coalgebraic approach to non-determinism: Applications to multilattices. Search on Bibsonomy Inf. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora 0001, Pablo Cordero A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. Search on Bibsonomy ICSOFT (2) The full citation details ... 2010 DBLP  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego Fuzzy congruence relations on nd-groupoids. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego Congruence relations on some hyperstructures. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego Fuzzy Logic, Soft Computing, and Applications. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego On Congruences and Homomorphisms on Some Non-deterministic Algebras. Search on Bibsonomy IJCCI The full citation details ... 2009 DBLP  BibTeX  RDF
1Pablo Cordero, Angel Mora 0001, Inman P. de Guzmán, Manuel Enciso Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Angel Mora 0001, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán A new closure algorithm based in logic: SLFD-Closure versus classical closures. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2006 DBLP  BibTeX  RDF
1Gabriel 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. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero Generalizations of lattices via non-deterministic operators. Search on Bibsonomy Discrete Mathematics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán A New Algebraic Tool for Automatic Theorem Provers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory
1Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inmaculada Perez de Guzmán A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Angel Mora 0001, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero A/D Case: A New Heart for FD3. Search on Bibsonomy ICEIS (1) The full citation details ... 2004 DBLP  BibTeX  RDF
1Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán Restricted ideals and the groupability property. Tools for temporal reasoning. Search on Bibsonomy Kybernetika The full citation details ... 2003 DBLP  BibTeX  RDF
1Angel Mora 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. Search on Bibsonomy CAEPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Inman P. de Guzmán Bases for closed sets of implicants and implicates in temporal logic. Search on Bibsonomy Acta Inf. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Search on Bibsonomy Reports on Mathematical Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Pablo Cordero, Manuel Enciso, Angel Mora 0001, Inman P. de Guzmán SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Manuel Enciso, Pablo Cordero A temporal negative normal form which preserves implicants and implicates. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Inman P. de Guzmán, Pablo Cordero, Manuel Enciso Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. Search on Bibsonomy EPIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #84 of 84 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license