Concepedia

T. K. Lakshman

TK

Statistics

Publications

2

Citations

265

H-Index

2

Active since

1992

Affiliations

University of Illinois Urbana-Champaign(Current)

T. K. Lakshman is an author at University of Illinois Urbana-Champaign specializing in formal methods, computer science, and computing.

Publications per year

1992–1994

2

Publications

2

Soft typing with conditional types

Alex Aiken, Edward L. Wimmers, T. K. Lakshman · 1994 · 214 citations · Full text

, , +16

A Framework of Directionality for Proving Termination of Logic Programs.

François Bronsard, T. K. Lakshman, Uday S. Reddy · 1992 · 51 citations

, , +11

1–2 of 2