The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Completions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1989 (15) 1990-1993 (15) 1994-1996 (19) 1997-1999 (18) 2000-2001 (22) 2002-2003 (24) 2004-2005 (26) 2006 (20) 2007-2008 (38) 2009 (23) 2010-2011 (22) 2012-2013 (16) 2014-2016 (18) 2017-2019 (20) 2020-2021 (17) 2022 (16) 2023 (15) 2024 (4)
Publication types (Num. hits)
article(198) book(1) incollection(1) inproceedings(144) phdthesis(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 173 occurrences of 145 keywords

Results
Found 348 publication records. Showing 348 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87C. Murray Woodside, Dorin Bogdan Petriu, Khalid H. Siddiqui Performance-related completions for software specifications. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
87Stefan Brass Beginnings of a Theory of General Database Completions. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
68Fritz Henglein, Jesper Jørgensen Formally Optimal Boxing. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF representation analysis, polymorphism, type inference
67Marcus Tressl Pseudo completions and completions in stages of o-minimal structures. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) Primary 03C64, Primary 12J10, Primary 12J15, Secondary 13B35
60Majid Alizadeh Completions of Basic Algebras. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
60Pinar Heggernes, Charis Papadopoulos Single-Edge Monotonic Sequences of Graphs and Linear-Time Algorithms for Minimal Completions and Deletions. Search on Bibsonomy COCOON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Pinar Heggernes, Federico Mancini 0001 Minimal Split Completions of Graphs. Search on Bibsonomy LATIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Marcel Erné Ideal Completions and Compactifications. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Cauchy filter, compactification, (quasi-)uniform space, (ordered) topological space, (strongly) sober, totally (order-) separated, completion, core, ideal
58Yichuan Ding, Nathan Krislock, Jiawei Qian, Henry Wolkowicz Sensor network localization, euclidean distance matrix completions, and graph realization. Search on Bibsonomy MELT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF euclidean distance matrix completions, graph realization, semidefinite programming, anchors, sensor network localization
49Christopher Ochs, Tian Tian 0002, James Geller, Soon Ae Chun Google Knows Who is Famous Today - Building an Ontology from Search Engine Knowledge and DBpedia. Search on Bibsonomy ICSC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF ontology extraction from Web, DBpedia, suggested completions, mining suggested completions, homonyms, disambiguating Web searches, ontology
47Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger Characterizing Minimal Interval Completions. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola Closing the Gap between the Stable Semantics and Extensions of WFS. Search on Bibsonomy MICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Stable semantics, FOUR, Modal logics, WFS
41Fritz Henglein Dynamic Typing. Search on Bibsonomy ESOP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40Caroline Brosse Efficient enumeration algorithms for minimal graph completions and deletions. (Algorithmes d'énumération efficaces pour les complétions et délétions minimales de graphes). Search on Bibsonomy 2023   RDF
40Li-Gang Wu, Lei Fan Directed Completions and DM-Completions on R-\mathcal {R}-Posets. Search on Bibsonomy ACFIE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Karol Suchan Complétions d'intervalles minimales. (Minimal interval completions). Search on Bibsonomy 2006   RDF
38Silvio Ghilardi Model-Theoretic Methods in Combined Constraint Satisfiability. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination
38Horst Herrlich CompactT0-spaces andT0-compactifications. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Extension closed and nearly closed subspaces ofT 0-spaces, compact spaces, compactifications, k-complete spaces, k-completions, Wallman compactifications, ech-Stone compactifications, extensions of mappings, C*-embeddings, E-compactifications, almost reflective and implicational subcategories ofTop
33Guram Bezhanishvili, Jacob Vosmaer Comparison of MacNeille, Canonical, and Profinite Completions. Search on Bibsonomy Order The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06B23, 06D20, 06D50
33Daniel Lokshtanov, Federico Mancini 0001, Charis Papadopoulos Characterizing and Computing Minimal Cograph Completions. Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi Profinite Completions and Canonical Extensions of Heyting Algebras. Search on Bibsonomy Order The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55
27Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001 Human interaction for high-quality machine translation. Search on Bibsonomy Commun. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Serge Abiteboul, Ohad Greenshpan, Tova Milo, Neoklis Polyzotis MatchUp: Autocompletion for Mashups. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Pinar Heggernes, Federico Mancini 0001, Charis Papadopoulos, R. Sritharan Strongly Chordal and Chordal Bipartite Graphs Are Sandwich Monotone. Search on Bibsonomy COCOON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Max Horn On the Phan system of the Schur cover of SU(4, 32). Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMS Classifications 20G40, 20E42, 51E24, 57M07
27David Koop, Carlos Eduardo Scheidegger, Steven P. Callahan, Juliana Freire, Cláudio T. Silva VisComplete: Automating Suggestions for Visualization Pipelines. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Hannah Bast, Ingmar Weber Type less, find more: fast autocompletion search with a succinct index. Search on Bibsonomy SIGIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF empirical entropy, index data structure, autocompletion
27Ian Wehrman, Aaron Stump, Edwin M. Westbrook Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Nelly Litvak, Uri Yechiali Routing in Queues with Delayed Information. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF delayed information, multiple-server queues, routing, decomposition, vacation models
27Philippe Langlais, George F. Foster, Guy Lapalme Unit Completion for a Computer-aided Translation Typing System. Search on Bibsonomy Mach. Transl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interactive machine translation, machine-aided human translation, target-text mediation, statistical language models, word completion, statistical translation models
27Béatrice Duval Abduction and Induction for Explanation-Based Learning. Search on Bibsonomy EWSL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Analogy, Abduction, Explanation-Based Learning
27Aïda Batarekh, V. S. Subrahmanian The Query Topology in Logic Programming. Search on Bibsonomy STACS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Ziv Bar-Yossef, Maxim Gurevich Estimating the impressionrank of web pages. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF impressionrank, popular keyword extraction, data mining, search engines, estimation, auto-completions, suggestions
24Steffen Becker 0001 Coupled model transformations. Search on Bibsonomy WOSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mda, platform completions, performance prediction, model-driven software development
24Dan Noje, Barnabás Bede Vectorial MV-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Approximation by polynomials, Completions, MV-algebras, Complete lattices
24J. Minkler, G. Minkler, Giles Richardson Subcategories of Filter Tower Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF filter tower spaces, convergence approach spaces, T-regular sequences, completions, t-norm
24Gerhard Preuß Completion of Semiuniform Convergence Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF semiuniform convergence spaces, filter spaces, uniform convergence spaces (= uniform limit spaces), universal constructions, completions
24SungSa Hong, YoungKyoung Kim Cauchy Complete Nearness Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF nearness spaces, regular Cauchy filters, Cauchy complete nearness spaces, Cauchy completions of nearness spaces, Cauchy maps
24Catholijn M. Jonker Proof-theory for Extensions of Logic Programming. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Rule-based calculus, program completions, negations
20László Csató, Kolos Csaba Ágoston, Sándor Bozóki On the coincidence of optimal completions for small pairwise comparison matrices with missing entries. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Carlo Klapproth, Dixy Msapato, Amit Shah Idempotent Completions of n-Exangulated Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Anjie Liu, Jinglang W. Sun, Anh Ngo, Ademide O. Mabadeje, Jose L. Hernandez-Mejia Machine Learning-Based Completions Sequencing for Well Performance Optimization. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Francesco Dagnino, Fabio Pasquali Cauchy-completions and the rule of unique choice in relational doctrines. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20George Metcalfe, Luca Reggio Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jing Lu, Bin Zhao Local Yoneda completions of quasi-metric spaces. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Klemens Fritzsche, Klaus Röbenack Unimodular Completions and Orthogonal Complements of Matrices over Univariate Ore Extensions. Search on Bibsonomy SIAM J. Matrix Anal. Appl. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sebastiaan A. Terwijn The complexity of completions in partial combinatory algebra. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sebastiaan A. Terwijn Completions of Kleene's second model. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Rafaël Bocquet Strict Rezk completions of models of HoTT and homotopy canonicity. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Helena Vasconcelos, Gagan Bansal, Adam Fourney, Q. Vera Liao, Jennifer Wortman Vaughan Generation Probabilities Are Not Enough: Exploring the Effectiveness of Uncertainty Highlighting in AI-Powered Code Completions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Varun Nair, Elliot Schumacher, Geoffrey J. Tso, Anitha Kannan DERA: Enhancing Large Language Model Completions with Dialog-Enabled Resolving Agents. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Maria Emilia Maietti, Davide Trotta A characterization of generalized existential completions. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001 Determination of the continuous completions of conditionally cancellative pre-t-norms associated with the characterization of (S,N)-implications: Part II. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001 Determination of the continuous completions of conditionally cancellative pre-t-norms associated with the characterization of (S,N)-implications: Part I. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Zhongxi Zhang A general categorical reflection for various completions of Q-closure spaces and Q-ordered sets. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Kevin Hsu, Jing Huang 0007 Obstructions for acyclic local tournament orientation completions. Search on Bibsonomy Discret. Math. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jiaming Wen 0001, Houzhen Wang, Huanguo Zhang Post-quantum Sigma Protocols and Signatures from Low-Rank Matrix Completions. Search on Bibsonomy ProvSec The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Maria D. Cruz-Quinones, John Harding Completions of Pseudo Ordered Sets. Search on Bibsonomy Order The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Xia Zhang, Jan Paseka, Wen Ma On Completions of Posets with Operators. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2022 DBLP  BibTeX  RDF
20Alexandru Chirvasitu C* Completions of Leavitt-Path-Algebra Pullbacks. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Shuhua Su, Qingguo Li, Qi Li ZL-Completions for ZL-Semigroups. Search on Bibsonomy Symmetry The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Victor Chepoi, Kolja Knauer, Manon Philibert Ample Completions of Oriented Matroids and Complexes of Uniform Oriented Matroids. Search on Bibsonomy SIAM J. Discret. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Lukas Brückner, Luis A. Leiva, Antti Oulasvirta Learning GUI Completions with User-defined Constraints. Search on Bibsonomy ACM Trans. Interact. Intell. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Carina Negreanu, Alperen Karaoglu, Jack Williams 0001, Shuang Chen 0003, Daniel Fabian, Andrew D. Gordon 0001, Chin-Yew Lin Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Min Liu, Yulin Li Quantaloidal Completions of Order-enriched Categories and Their Applications. Search on Bibsonomy ISDT The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Haewoon Kwak You Have Earned a Trophy: Characterize In-Game Achievements and Their Completions. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Dusko Pavlovic, Dominic J. D. Hughes Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Mitre Costa Dourado, Luciano N. Grippo, Mario Valencia-Pabon On restricted completions of chordal and trivially perfect graphs. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001 A general framework for the characterization of (S, N)-implications with a non-continuous negation based on completions of t-conorms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Carina Negreanu, Alperen Karaoglu, Jack Williams 0001, Shuang Chen 0003, Daniel Fabian, Andrew D. Gordon 0001, Chin-Yew Lin Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Caroline Brosse, Vincent Limouzy, Arnaud Mary Polynomial Delay Algorithm for Minimal Chordal Completions. Search on Bibsonomy ICALP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Haewoon Kwak You Have Earned a Trophy: Characterize In-Game Achievements and Their Completions. Search on Bibsonomy WebSci The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Gilles Bertrand 0004 Completions and Ramifications. Search on Bibsonomy DGMM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20John Harding, Frederik Möllerström Lauridsen Hyper-MacNeille Completions of Heyting Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Ethan N. Epperly, Nithin Govindarajan, Shivkumar Chandrasekaran Minimal Rank Completions for Overlapping Blocks. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Caroline Brosse, Vincent Limouzy, Arnaud Mary Polynomial delay algorithm for minimal chordal completions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
20Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun Hairpin completions and reductions: semilinearity properties. Search on Bibsonomy Nat. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Gilles Bertrand 0001 Completions, Perforations and Fillings. Search on Bibsonomy DGMM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Zhijuan Du Zero or few shot knowledge graph completions by text enhancement with multi-grained attention. Search on Bibsonomy ICTAI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
20Ayomikun Adeniran, Steve Butler, Galen Dorpalen-Barry, Pamela E. Harris, Cyrus Hettle, Qingzhong Liang, Jeremy L. Martin, Hayan Nam Enumerating Parking Completions Using Join and Split. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Shuhua Su, Shuqun Yang, Qi Li The ZL-completions of fuzzy posets. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Alain Finkel, Jean Goubault-Larrecq Forward analysis for WSTS, part I: completions. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Bing Wu 0002, Peng Li Influence of MOOCs eWOM on the Number of Registrations and Completions. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Victor Chepoi, Kolja Knauer, Manon Philibert Ample completions of OMs and CUOMs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
20Brad Saund, Dmitry Berenson Diverse Plausible Shape Completions from Ambiguous Depth Images. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
20José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou Join-completions of partially ordered algebras. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Changchun Xia, Bin Zhao The completions of multi-posets and quantum B-algebras. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Adelina Ciurumelea, Sebastian Proksch, Harald C. Gall Suggesting Comment Completions for Python using Neural Language Models. Search on Bibsonomy SANER The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Di Yin, Jiwei Tan, Zhe Zhang, Hongbo Deng, Shujian Huang, Jiajun Chen 0001 Learning to Generate Personalized Query Auto-Completions via a Multi-View Multi-Task Attentive Approach. Search on Bibsonomy KDD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
20Bradley Saund, Dmitry Berenson Diverse Plausible Shape Completions from Ambiguous Depth Images. Search on Bibsonomy CoRL The full citation details ... 2020 DBLP  BibTeX  RDF
20Hai-Wei Wang, Bin Zhao Free join- and meet-completions of L-ordered sets. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Zhongxi Zhang, Qingguo Li A uniform approach to completions of posets. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Jens Lundell, Francesco Verdoja, Ville Kyrki Robust Grasp Planning Over Uncertain Shape Completions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
20Zhongxi Zhang, Qingguo Li, Nan Zhang A unified method for completions of posets and closure spaces. Search on Bibsonomy Soft Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Philip Scowcroft Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Philip Scowcroft Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698]. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Lyall Reid, Gary Richardson Lattice-valued spaces: ⊤-Completions. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Jacopo Amidei, Uri Andrews, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi Trial and error mathematics: Dialectical systems and completions of theories. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
20Jens Lundell, Francesco Verdoja, Ville Kyrki Robust Grasp Planning Over Uncertain Shape Completions. Search on Bibsonomy IROS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 348 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license