LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!

LAUSR.org creates dashboard-style pages of related content for over 1.5 million academic articles. Sign Up to like articles & get recommendations!

Automata modulo theories

Photo by radowanrehan from unsplash

Symbolic automata better balances how automata are implemented in practice. Click to show full abstract

Symbolic automata better balances how automata are implemented in practice.

Keywords: automata modulo; modulo theories

Journal Title: Communications of the ACM
Year Published: 2021

Link to full text (if available)


Share on Social Media:                               Sign Up to like & get
recommendations!

Related content

More Information              News              Social Media              Video              Recommended


                Click one of the above tabs to view related content.