researchr - search publication completeness

researchr

You are not signed in
Sign in
Sign up

13105 publication results matching 'completeness'

Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering
… by associativity and priority rules and prove that a safe and complete disambiguation relation produces a safe and complete disambiguation. The proof approach … and completeness of disambiguation correspond to confluence of the rewrite system …
Luís Eduardo Amorim de Souza, Eelco Visser. June 2020.
Value complete, column complete, predicate completeTheo Härder, Andreas Bühmann. vldb, 17(4):805-826, 2008. [doi]
On the Completeness of ResiduationMichael Hanus. ICLP 1992: 192-206
On denotational completenessJean-Yves Girard. ENTCS, 3:75-80, 1996. [doi]
On Denotational CompletenessJean-Yves Girard. TCS, 227(1-2):249-273, 1999. [doi]
Homogenity and CompletenessB. Csákány. fct 1981: 81-89
Deductive completenessKosta Dosen. bsl, 2(3):243-283, 1996. [doi]
Complete Proceedingsectel 2006: [doi]
Completeness by ForcingDaniel Gåinå, Marius Petria. logcom, 20(6):1165-1186, 2010. [doi]
Computationally CompleteMichael Jay Schillaci. cse, 9(3):3-6, 2007. [doi]
Complete arcsJ. W. P. Hirschfeld. DM, 174(1-3):177-184, 1997. [doi]
Hybrid CompletenessPatrick Blackburn, Miroslava Tzakova. igpl, 6(4):625-650, 1998. [doi]
Complete AlgorithmsAdnan Darwiche, Knot Pipatsrisawat. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 99-130, IOS Press, 2009. [doi]
Complete ComputingVipul Gupta, Gabriel Montenegro, Jeff Rulifson. wwca 1998: 174-189
Completing CodesAntonio Restivo, Sergio Salemi, Tecla Sportelli. ita, 23(2):135-147, 1989.
Complete Methods for Building Complete ApplicationsNaveen Prakash. ifip8-1 2007: 207-221 [doi]
Complete and directed complete Omega-categoriesHongliang Lai, Dexue Zhang. TCS, 388(1-3):1-25, 2007. [doi]
Dense CompletenessAndreas Krebs, Klaus-Jörn Lange. dlt 2012: 178-189 [doi]
Completeness theoremJames Margetson, Tom Ridge. afp, 2004, 2004. [doi]
(In)completeness in specificationsV. S. Alagar, D. Kourkopoulos. INFSOF, 36(6):331-342, 1994. [doi]

Sign in or sign up to see more results.

runs on WebDSL