Travelled to:2 × USA
Collaborated with:S.R.Sataluri K.C.Liu
Talks about:polynomi (1) program (1) pattern (1) string (1) specif (1) semant (1) match (1) logic (1) time (1) use (1)
Person: Arthur C. Fleck
DBLP: Fleck:Arthur_C=
Contributed to:
1989
1979Wrote 2 papers:
- NACLP-1989-SataluriF #logic programming #semantics #source code #specification #using
- Semantic Specification Using Logic Programs (SRS, ACF), pp. 772–791.
- POPL-1979-LiuF #pattern matching #polynomial #string
- String Pattern Matching in Polynomial Time (KCL, ACF), pp. 222–225.