Similar Items: Relations and programs
- Generalized nondeterminism and the succinct representation of regular languages
- Providing mechanical support for program development in a weakest precondition calculus
- Enriching deontic logic with typicality
- Extended probabilistic symbolic execution
- A program slicer for LF
- The language approach to the development of reliable concurrent programs
Author: Stellenbosch University. Faculty of . Dept. of .
- The expression of possibility in Tshivenda
- A study of high fat milk replacers and high fat postweaning diets in the rearing of young Friesland bull-calves
- The distribution, identity and virus vector potential of Xiphinema Spp. in the Western Cape Province
- The retail patterns of greater Johannesburg with particular reference to the incidence of large-scale retailing
- n Bedryfsielkundige ondersoek na beeldbevordering as 'n promosiestrategie en uitvloeisel van sosiaal-verantwoordelike handelinge : 'n studie in die wynbedryf
- Segregated finite element solution of the incompressible Navier-Stokes equations, with equal-order velocity-pressure formulation
Author: Britz, Katarina
- Power constructs and propositional systems
- Towards a human-machine integrated model for organisational knowledge creation - a case for knowledge-enriched machine learning
- Repairing classical ontologies using defeasible reasoning techniques
- Visual exploration of large geolocation-rich data sets using formal concept analysis
- Relations and programs