Computer Science
This account is temporarily suspended network-wide. The suspension period ends on May 11, 2024 at 18:00.
Val's user avatar
Val's user avatar
Val's user avatar
Val
  • Member for 11 years, 2 months
  • Last seen more than 6 years ago
  • google.ee/search?q=greatest+misallocation+of+resources+in+the+history
Profile Activity

17 Questions

Score Activity Newest Views
14 votes
1 answer
2k views

what is semantics?

13 votes
1 answer
853 views

Unification vs. SAT solver

9 votes
1 answer
4k views

What is the difference between assignment, valuation and name binding?

7 votes
3 answers
7k views

What is the difference between operator and function?

3 votes
1 answer
324 views

Why ⊢ for affirmative predicates and ⊨ for ¬negations?

3 votes
1 answer
139 views

parsing at semantic level due to ambiguities

2 votes
1 answer
431 views

Multiple production rules for expressions of the same type?

2 votes
2 answers
1k views

How Dynamic programming can be used for Coin Change problem?

2 votes
1 answer
372 views

definition of formula validity

2 votes
1 answer
130 views

Why do they say `A, B, C, ... implies M` instead of `A∧B∧ C∧ ... implies M`?

1 vote
1 answer
119 views

Multivalued, partial evaluation

1 vote
2 answers
692 views

Can terms "interpreter" and "processor" be used interchangably?

1 vote
4 answers
495 views

What is the point of (Compactness theorem in the) Overspill principle?

0 votes
1 answer
33 views

Denumerably many isomorphism types

0 votes
1 answer
304 views

Is constant a variable or subtype?

0 votes
1 answer
268 views

Type checking on assignment

-1 votes
1 answer
104 views

Type for difference of two absolute values

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.