BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
2 × USA
Collaborated with:
S.R.Buss J.Y.Halpern L.Malka S.Venkatesh
Talks about:
character (1) sequenti (1) interact (1) function (1) resourc (1) instanc (1) continu (1) scheme (1) depend (1) commit (1)

Person: Bruce M. Kapron

DBLP DBLP: Kapron:Bruce_M=

Contributed to:

ICALP 20072007
LICS 20002000
LICS 19921992

Wrote 3 papers:

A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) (BMK, LM, SV), pp. 328–339.
LICS-2000-BussK #bound
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
LICS-1992-HalpernK #logic
Zero-One Laws for Modal Logic (JYH, BMK), pp. 369–380.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.