Definition of Krivine. Meaning of Krivine. Synonyms of Krivine

Here you will find one or more explanations in English for the word Krivine. Also in the bottom left of the page several parts of wikipedia pages related to the word Krivine and, of course, Krivine synonyms and on the right images related to the word Krivine.

Definition of Krivine

No result for Krivine. Showing similar results...

Meaning of Krivine from wikipedia

- Alain Krivine (French: [a.lɛ̃ kʁi.vin]; 10 July 1941 – 12 March 2022) was a French Trotskyist leader. Krivine was born in July 1941 in Paris, France,...
- Krivine is a surname. Notable people with the surname include: Alain Krivine (1941–2022), French politician Emmanuel Krivine (born 1947), French conductor...
- the Krivine machine is an abstract machine. As an abstract machine, it shares features with Turing machines and the SECD machine. The Krivine machine...
- In real algebraic geometry, Krivine–Stengle Positivstellensatz (German for "positive-locus-theorem") characterizes polynomials that are positive on a...
- Emmanuel Krivine (born 7 May 1947, Grenoble) is a French conductor. The son of a Polish mother and a Russian father, Krivine studied the violin as a youth...
- to gain support for their views. Its official spokespersons were Alain Krivine, Roseline Vachetta, who are former members of the European Parliament,...
- been on lazy (or call-by-need) evaluation, such as the G-machine (1984), Krivine machine (1985), and Three Instruction Machine (1986), in which function...
- Michel Rocard and Alain Krivine stood as candidates expressing the ideas of the May 1968 movements, though the Trotskyist Krivine took a far more radical...
- Village) is a French television drama series created by chief writer Frédéric Krivine and prin****l director Philippe Triboit, with the ****istance of historical...
- System F Awards Poncelet Prize (1990) CNRS Silver Medal (1983) Scientific career Fields Logic Institutions CNRS Doctoral advisor Jean-Louis Krivine [fr]...