Arthur Fleck

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Confidence intervals for linear discrete inverse problems with a non-negativity constraint
Inverse Problems
2007-05-07Paper
Formal models of computation. The ultimate limits of computing
AMAST Series in Computing
2001-02-20Paper
Structuring FP-style functional programs
Computer Languages
1986-01-01Paper
A proposal for comparison of types in Pascal and associated semantic models
Computer Languages
1984-01-01Paper
Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms
SIAM Journal on Computing
1983-01-01Paper
Verifying abstract data types with SNOBOL4
Software: Practice and Experience
1982-01-01Paper
Recent developments in the theory of data structures
Computer Languages
1978-01-01Paper
An analysis of grammars by their derivation sets
Information and Control
1974-01-01Paper
𝒮-Semigroups of Automata
Journal of the ACM
1972-01-01Paper
scientific article; zbMATH DE number 3386920 (Why is no real title available?)1972-01-01Paper
Towards a theory of data structures
Journal of Computer and System Sciences
1971-01-01Paper
On (d, k) Graphs
IEEE Transactions on Electronic Computers
1967-01-01Paper
On the Automorphism Group of an Automaton
Journal of the ACM
1965-01-01Paper
Isomorphism Groups of Automata
Journal of the ACM
1962-01-01Paper


Research outcomes over time


This page was built for person: Arthur Fleck