Stem bibliographi$ (all stems)

8 papers:

WRLA-J-2010-Marti-OlietPV12 #bibliography #logic #topic

Rewriting logic bibliography by topic: 1990-2011 (NMO, MP, AV), pp. 782–815.

LDTA-2003-Hufflen #bibliography

Mixing Two Bibliography Style Languages (JMH), pp. 628–642.

WRLA-J-1996-Marte-OlietM02 #bibliography #logic #roadmap

Rewriting logic: roadmap and bibliography (NMO, JM), pp. 121–154.

LDTA-2002-Hufflen #bibliography #lessons learnt

Lessons from a Bibliography Program’s Reimplementation (JMH), pp. 124–138.

ICDAR-v2-1995-ParmentierB #architecture #bibliography #using #validation

Bibliography references validation using emergent architecture (FP, AB), pp. 532–535.

POPL-1993-RamalingamR #bibliography #incremental

A Categorized Bibliography on Incremental Computation (GR, TWR), pp. 502–510.

STOC-1992-Angluin #bibliography #learning

Computational Learning Theory: Survey and Selected Bibliography (DA), pp. 351–369.

GG-1982-Nagl #bibliography #graph grammar #term rewriting

Bibliography on graph-rewriting systems (graph grammars) (MN), pp. 415–448.