Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
type: Item
instance of: scholarly article
title: Functional programming, concurrency, simulation and automated reasoning. International lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
zbMATH Open document ID: 0825.00050
DOI: 10.1007/3-540-56883-2
published in: Lecture Notes in Computer Science
publication date: 1993-12-08T00:00:00Z
review text: The articles of this volume will not be indexed individually.
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 477572
zbMATH Keywords: Functional programming
zbMATH Keywords: Concurrency
zbMATH Keywords: Simulation
zbMATH Keywords: Automated reasoning
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-56883-2
OpenAlex ID: W2489608292
description: scientific article; zbMATH DE number 477572