Arthur C. Fleck

Affiliations:
  • University of Iowa, Iowa City, IA, USA


According to our database1, Arthur C. Fleck authored at least 17 papers between 1962 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Prolog as the first programming language.
ACM SIGCSE Bull., 2007

2001
Formal Models of Computation - The Ultimate Limits of Computing
AMAST Series in Computing 7, World Scientific, ISBN: 978-981-02-4500-9, 2001

1990
A Case Study Comparison of Four Declarative Programming Languages.
Softw. Pract. Exp., 1990

1989
Semantic Specification Using Logic Programs.
Proceedings of the Logic Programming, 1989

1986
Structuring FP-Style Functional Programs.
Comput. Lang., 1986

1984
A Proposal for Comparison of Types in Pascal and Associated Semantic Models.
Comput. Lang., 1984

1983
Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms.
SIAM J. Comput., 1983

1982
Verifying Abstract Data Types with SNOBOL4.
Softw. Pract. Exp., 1982

1979
String Pattern Matching in Polynomial Time.
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978
Recent Developments in the Theory of Data Structures.
Comput. Lang., 1978

1976
On the impossibility of content exchange through the by-name parameter transmission mechanism.
ACM SIGPLAN Notices, 1976

1974
An Analysis of Grammars by Their Derivation Sets
Inf. Control., April, 1974

1972
S-Semigroups of Automata.
J. ACM, 1972

1971
Towards a Theory of Data Structures.
J. Comput. Syst. Sci., 1971

On the Combinatorial Complexity of Context-free Grammars.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1965
On the Automorphism Group of an Automaton.
J. ACM, 1965

1962
Isomorphism Groups of Automata.
J. ACM, 1962


  Loading...