Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
馃敜 Kleene Algebra
Specific
Regular Expressions, Axiomatization, Algebraic Structures, NetKAT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
171470
posts in
20.2
ms
Clones of
pigmented
words and realizations of special classes of
monoids
聽
鉃★笍
Category Theory
arxiv.org
路
6d
Re2js v2.2.0: linear-time
lookbehinds
,
RE2Set
, and a pure JS architecture
聽
馃搳
Runtime Verification
leopard.in.ua
路
22h
Learn
Regex
the Easy Way, Part 2:
Anchors
and Boundaries
聽
馃敜
Regular Expressions
336699.org
路
6d
How To Check If a
String
Contains
Another
String
in Python
聽
馃敜
Regular Expressions
digitalocean.com
路
5d
Algebraic Structure Discovery for Real World Combinatorial
Optimisation
Problems: A General Framework from Abstract Algebra to
Quotient
Space Learning
聽
馃М
SMT Solvers
arxiv.org
路
6d
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help