Linda Postniece

Identifiers

• name variant Linda Postniece 0.60 · backfill

Papers (1)

1. Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic cs.LO · 2010 · author #2

Mentions

• 1006.4793 #2 · backfill · confidence 0.70 Linda Postniece

Frequent Coauthors

• Alwen Tiu 1 shared papers
• Rajeev Gore 1 shared papers