Last update: Thu Sep 27 02:46:57 MDT 2018
@Article{Bosco:1988:NVS, author = "Pier Giorgio Bosco and Elio Giovannetti and Corrado Moiso", title = "Narrowing vs. {SLD}-resolution", journal = j-THEOR-COMP-SCI, volume = "59", number = "1--2", pages = "3--23", month = jul, year = "1988", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Sat Nov 22 13:29:49 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/tcs1985.bib", acknowledgement = ack-nhfb, affiliation = "Cent Studi e Lab Telecomunicazioni", affiliationaddress = "Turin, Italy", classification = "723; C4210 (Formal logic); C4240 (Programming and algorithm theory)", conference = "International Joint Conference on Theory and Practice of Software Development --- TAPSOFT '87", conflocation = "Pisa, Italy; 23-27 March 1987", conftitle = "International Joint Conference on Theory and Practice of Software Development", corpsource = "Lab. Telecommun., Turin, Italy", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", journalabr = "Theor Comput Sci", keywords = "Algorithms; Computer Metatheory--Programming Theory; Computer Programming; Computer Programming Languages--Theory; E Unification Algorithms; E-unification; flattening; formal logic; Functional Programming; functional programming; Logic Programming; logic programming; narrowing; Narrowing Sequences; narrowing sequences; programming theory; resolution sequences; semantic unification; Semantic Unification Algorithms; sld Resolution; SLD-resolution", meetingaddress = "Pisa, Italy", meetingdate = "Mar 23--27 1987", meetingdate2 = "03/23--27/87", pubcountry = "Netherlands", sponsor = "Univ di Pisa, Pisa, Italy; IEI-CNR; CNUCE-CNR; EATS; AICA", treatment = "T Theoretical or Mathematical", }