Communities

The Great Outdoors

Photography & Video

Scientific Speculation

Electrical Engineering

Languages & Linguistics

Software Development

Community Proposals

tag:snake search within a tag

answers:0 unanswered questions

user:xxxx search by author id

score:0.5 posts with 0.5+ score

"snake oil" exact phrase

votes:4 posts with 4+ votes

created:<1w created < 1 week ago

post_type:xxxx type of post

Search help

Notifications

Mark all as read See all your notifications »

Q&A Meta

Profile Activity Votes Network

trkern‭

A quiet enigma. We don't know anything about trkern‭ yet.

Posts

60%

+1 −0

Q&A The role of regexps/finite automata in quantifier elimination for Presburger arithmetic

posted 4mo ago by trkern‭ · edited 4mo ago by clemens‭

Answer

Reputation		11
Top-level posts		0
Answers		1
Received votes (up minus down)		1
Edits made		0

Earned Abilities

Statistics

Posts
Total		1
Questions		0
Answers		1
Articles		0

Votes cast
Total		0

Flags raised
Total		0