The following pages link to D.Tătar (Q689296):
Displaying 49 items.
- ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs (Q689297) (← links)
- (Q1116331) (redirect page) (← links)
- Computing dimension and independent sets for polynomial ideals (Q1116332) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Multidimensional trees (Q1178697) (← links)
- Some experiments with a completion theorem prover (Q1186705) (← links)
- Interprocedural type propagation for object-oriented languages (Q1330437) (← links)
- Operational semantics and generalized weakest preconditions (Q1330453) (← links)
- Natural Language Processing (Q2873040) (← links)
- (Q3690242) (← links)
- (Q3718135) (← links)
- (Q3731018) (← links)
- (Q3766817) (← links)
- (Q3790668) (← links)
- (Q3792218) (← links)
- (Q3823139) (← links)
- (Q3982097) (← links)
- (Q4324703) (← links)
- (Q4355713) (← links)
- (Q4355788) (← links)
- (Q4414065) (← links)
- (Q4681317) (← links)
- (Q4780221) (← links)
- (Q4829298) (← links)
- (Q4841300) (← links)
- (Q4849250) (← links)
- (Q4889407) (← links)
- (Q4892613) (← links)
- (Q4896256) (← links)
- (Q4896257) (← links)
- (Q5309352) (← links)
- (Q5309356) (← links)
- (Q5309373) (← links)
- (Q5309382) (← links)
- (Q5309387) (← links)
- (Q5309388) (← links)
- (Q5309402) (← links)
- (Q5309409) (← links)
- (Q5309417) (← links)
- (Q5309459) (← links)
- (Q5309476) (← links)
- (Q5309492) (← links)
- (Q5309521) (← links)
- (Q5309545) (← links)
- (Q5309559) (← links)
- (Q5309572) (← links)
- (Q5309591) (← links)
- (Q5310436) (← links)
- (Q5686573) (← links)
