National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Kilpeläinen, Pekka
URI:
http://urn.fi/URN:NBN:fi:au:pn:000047529
name
Kilpeläinen, Pekka
Authored works
Ordered and unordered tree inclusion
Tree matching problems with applications to structured text databases
Works contributed to
Helsinki Prolog System (HPS) : system overview
Matematiikan, fysiikan ja tietojenkäsittelyopin opiskelu uudessa tutkintojärjestelmässä
Proceedings of the Eighth Symposium on Programming Languages and Software Tools : SPLST'03, Kuopio, Finland, June 17-18, 2003
Recognizing renamable generalized propositional Horn formulas is NP-complete
Works about Kilpeläinen, Pekka
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD