Stack Exchange
sign up | log in | chat | meta | about | faq

Computer Science beta
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Abufouda

less info
meta site favicon meta user | stack exchange network profile network profile
21 reputation
2
bio website
location
age
visits member for 1 year
seen Jan 30 at 19:44
stats profile views 0

21 reputation
bio website visits member for 1 year
2 badges
location seen Jan 30 at 19:44
summary answers questions tags badges favorites bounties reputation activity

3 Questions

votes activity newest
2
Homomorphisms and isomorphisms in an equational calculus
2
The use of multiset ordering in proving termination
0
Initial Algebra example

21 Reputation

+10 The use of multiset ordering in proving termination
+10 Homomorphisms and isomorphisms in an equational calculus

0 Answers

votes activity newest
This user has not answered any questions

7 Tags

0
semantics × 2
0
correctness-proof
0
formal-methods
0
algorithm-analysis
0
sets
0
proof-techniques
0
denotational-semantics

8 Accounts

Stack Overflow Stack Overflow 149 rep 412
TeX - LaTeX Stack Exchange TeX - LaTeX 35 rep 15
Cross Validated Cross Validated 25 rep 3
Mathematics Stack Exchange Mathematics 23 rep 5
Computer Science Stack Exchange Computer Science 21 rep 2
stack exchange network profile view more

2 Badges

recent class name
 Supporter  Student

0 Active bounties

active offered earned
This user has no active bounties

1 Vote Cast

all time   by type  
1 up 0 question
0 down 1 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.17.690