National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Husberg, Nisse
URI:
http://urn.fi/URN:NBN:fi:au:pn:000067294
name
Husberg, Nisse
Authored works
A category of distributed transition systems
A SAC machine connected to a universal computer
Algebraic description of high level languages using category theory
Formula manipulation with ANALITIK
High level distributed transition systems in categories
Mathematical methods in proving properties of programs
MC-2B : MIR-2 remote controller
Petri nets in algebraic theories : a category theory approach
Post's normalformteorem och korrespondensproblem
REDUCE-2 and ANALITIK-74 : a comparison
The English ANALITIK system for MIR-2
Works contributed to
ANALITIK, MIR-2 tietokoneen ohjelmointikieli : yleiskuvaus
ANALITIK-ohjelmointiopas
Annual report : For the year 1994
Leksa notes in computer science : festschrift in honour of professor Leo Ojala
MIR-3 : språk för styrning av arbeten
Works about Husberg, Nisse
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
