English   español  

Browsing by Author Villaret, Mateu

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 17 of 17
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess24-Jun-2013A Variant of Higher-Order Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso
openAccessJAR52(2)_155-90.pdf.jpg2014Anti-unification for unranked terms and hedgesKutsia, Temur; Levy, Jordi  ; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg2016Automated theorem provers for multiple-valued logics with satisfiability modulo theory solversAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu artículo
openAccess18-May-2015Finding Hard Instances of Satisfiability in Lukasiewicz LogicsBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu comunicación de congreso
openAccessJAR(2017)_58(2)293-310.pdf.jpg2017Higher-Order Pattern Anti-Unification in Linear TimeBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu artículo
openAccessRTA2004_LNCS3091_55-69.pdf.jpg2004Monadic second-order unification Is NP-completeLevy, Jordi  ; Schmidt-Schauss, Manfred; Villaret, Mateu artículo
openAccessNew complexity results for Łukasiewicz logic.pdf.jpgApr-2019New complexity results for Lukasiewicz logicBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu artículo
openAccess29-Jun-2015Nominal Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2012Nominal unification from a higher-order perspectiveLevy, Jordi  ; Villaret, Mateu artículo
openAccess6-Sep-2016Nominal Unification of Higher Order Expressions with Recursive LetSchmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu artículo
openAccessLJIGPL_19(6)2011_763-89.pdf.jpg2011On the complexity of bounded second-order unification and stratified context unificationLevy, Jordi  ; Schmidt-Schauss, Manfred; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg2010On the relation between Context and Sequence UnificationKutsia, Temur; Levy, Jordi  ; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg2015SAT and SMT technology for many-valued logicsAnsotegui, Carlos; Bofill, Miquel; Manyà, Felip ; Villaret, Mateu artículo
closedAccessaccesoRestringido.pdf.jpg2009Simplifying the signature in second-order unificationLevy, Jordi  ; Villaret, Mateu artículo
openAccessTerm_graph.pdf.jpg9-Jul-2018Term-graph anti-unificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso
openAccessLNCS9321_221-229.pdf.jpg2015The Complexity of 3-Valued Lukasiewicz RulesBofill, Miquel; Manyà, Felip ; Vidal, Amanda ; Villaret, Mateu comunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2008The complexity of monadic second-order unificationLevy, Jordi  ; Schmidt-Schauss, Manfred; Villaret, Mateu artículo