[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/toplas/Boute05>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Raymond_T._Boute>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F1086642.1086647>
foaf:homepage <https://doi.org/10.1145/1086642.1086647>
dc:identifier DBLP journals/toplas/Boute05 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F1086642.1086647 (xsd:string)
dcterms:issued 2005 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/toplas>
rdfs:label Functional declarative language design and predicate calculus: a practical approach. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Raymond_T._Boute>
swrc:number 5 (xsd:string)
swrc:pages 988-1047 (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/toplas/Boute05/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/toplas/Boute05>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/toplas/toplas27.html#Boute05>
rdfs:seeAlso <https://doi.org/10.1145/1086642.1086647>
dc:subject Analysis, Leibniz's principle, binary algebra, calculational reasoning, databases, declarative languages, elastic operators, function equality, functional predicate calculus, generic functionals, limits, program semantics, programming languages, quantifiers, recursion, software engineering, summation (xsd:string)
dc:title Functional declarative language design and predicate calculus: a practical approach. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 27 (xsd:string)