Stack Exchange
sign up | log in |

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

Val

less info
meta site favicon meta user | stack exchange network profile network profile
213 reputation
5
bio website
location
age
visits member for 8 months
seen May 5 at 8:56
stats profile views 5

213 reputation
bio website visits member for 8 months
5 badges
location seen May 5 at 8:56
summary answers questions tags badges favorites bounties reputation activity

5 Questions

votes activity newest
8
Unification vs. SAT solver
6
what is semantics?
3
What is the difference between operator and function?
2
definition of formula validity
0
Can terms “interpreter” and “processor” be used interchangably?

213 Reputation

+5 Unification vs. SAT solver
+9 Can terms “interpreter” and “processor” be used interchangably?
+30 what is semantics?
+5 What is the difference between operator and function?
view more

1 Answer

votes activity newest
0
Algorithm to pack any small boxes into a big box

13 Tags

0
terminology × 4
0
semantics
0
unification
0
formal-languages
0
logical-validity
0
combinatorics
0
logic
0
approximation
0
programming-languages
0
efficiency
view more

28 Accounts

Stack Overflow Stack Overflow 528 rep 213
Computer Science Stack Exchange Computer Science 213 rep 5
Mathematics Stack Exchange Mathematics 202 rep 7
Code Review Stack Exchange Code Review 174 rep 6
Physics Stack Exchange Physics 168 rep 9
stack exchange network profile view more

5 Badges

recent class name
 Commentator  Scholar
 Supporter  Editor
 Student

0 Active bounties

active offered earned
This user has no active bounties

11 Votes Cast

all time   by type  
11 up 3 question
0 down 8 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.21.692