2 research outputs found
Trends in thermodynamic parameters of phase transitions of lanthanide sulfides SrLnCuS3 (Ln = La–Lu)
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Constraint logic programming: a survey
- Author
- Abadi
- Aggoun
- Aggoun
- Aiba
- Albert
- Apt
- Atay
- Atay
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Aït-Kaci
- Barbuti
- Baudinet
- Baudinet
- Benhamou
- Benhamou
- Berthier
- Berthier
- Bisdorff
- Bockmayr
- Boizumault
- Borning
- Borning
- Bossi
- Brodsky
- Brodsky
- Broek
- Bryant
- Brzoska
- Brzoska
- Burg
- Burg
- Burg
- Bürckert
- Büttner
- Carlsson
- Carlsson
- Chadra
- Chamard
- Chan
- Chandru
- Chandru
- Chvátal
- Clark
- Codognet
- Codognet
- Cohen
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Colmerauer
- Corsini
- Courcelle
- Darlington
- De Backer
- De Backer
- de Boer
- de Boer
- de Kleer
- de la Banda
- de la Banda
- Debray
- Debray
- Diaz
- Dincbas
- Dincbas
- Dincbas
- Dovier
- Duisburg
- Ege
- Elcock
- Emerson
- Evans
- Fages
- Falaschi
- Fikes
- Filkorn
- Fitting
- Fourier
- Freeman-Benson
- Frühwirth
- Früwirth
- Gabbrielli
- Gaifman
- Gailly
- Gelfond
- Havens
- Heintze
- Helm
- Helm
- Hickey
- Homiak
- Hong
- Horn
- Huynh
- Huynh
- Höhfeld
- Imbert
- Imbert
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Jaffar
- Janson
- Jorgensen
- Jourdan
- Joxan Jaffar
- Kanchanasut
- Kanellakis
- Kanellakis
- Kemp
- Kemp
- Khachian
- Kholer
- Klee
- Klug
- Koscielski
- Krishnamurthy
- Kuip
- Kunen
- Ladret
- Lakmazaheri
- Lassez
- Lassez
- Lassez
- Lassez
- Lassez
- Lassez
- Lassez
- Lassez
- Lauriere
- Le Provost
- Leler
- Leung
- Li
- Lloyd
- Lloyd
- Maher
- Maher
- Maher
- Maher
- Maher
- Maher
- Makanin
- Mannila
- Mantsivoda
- Marriott
- Marriott
- Marriott
- Martin
- MathLab
- McAloon
- McDonald
- McKinsey
- Michael J. Maher
- Michaylov
- Michaylov
- Miller
- Miller
- Montanari
- Mukai
- Mumick
- Naish
- Naish
- Nelson
- Nerode
- Older
- Paterson
- Pfenning
- Podelski
- Przymusinski
- Rajasekar
- Ramachandran
- Ramakrishnan
- Ramalingam
- Rueher
- Sagiv
- Saraswat
- Saraswat
- Saraswat
- Saraswat
- Saraswat
- Saraswat
- Satoh
- Scott
- Shapiro
- Shapiro
- Shoenfield
- Siekmann
- Simonis
- Simonis
- Simonis
- Simonis
- Simonis
- Simonis
- Simonis
- Simonis
- Skuppin
- Smolka
- Smolka
- Srivastava
- Srivastava
- Stallman
- Steele
- Steele
- Sthanusubramonian
- Stickel
- Stuckey
- Stuckey
- Subramanian
- Sutherland
- Tarski
- Taylor
- Terasaki
- Tick
- Tobias
- Tong
- Tsang
- van Emden
- van Gelder
- van Gelder
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryck
- van Hentenryk
- van Roy
- Vitter
- Voda
- Voda
- Véron
- Walinsky
- Wallace
- Wallace
- Warren
- Warren
- Wilson
- Yap
- Yap
- Yap
- ÄŒernikov
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study