EasyChair Smart SlideUser guide
Author: Tachio Terauchi

This page shows all presentations of this author published in EasyChair Smart Slide.

On the Expressive Power of Regular Expressions with Backreferences

On the Expressive Power of Regular Expressions with Backreferences

Taisei Nogami and Tachio Terauchi

On Lookaheads in Regular Expressions with Backreferences

On Lookaheads in Regular Expressions with Backreferences

Nariyoshi Chida and Tachio Terauchi

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Yoji Nanjo, Hiroshi Unno, Eric Koskinen and Tachio Terauchi

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair