Search CORE

7 research outputs found

A method for finding new sets of axioms for classes of semigroups

Author: A. Rezus
B. Sobociński
B.H. Neumann
C. Hollings
C.A. Meredith
C.A. Meredith
C.A. Meredith
C.A. Meredith
E.V. Huntington
E.V. Huntington
G. Higman
H.M. Sheffer
J. Araújo
J. Araújo
J. Araújo
J. Hart
J. Konieczny
J. Łukasiewicz
J.A. Kalman
J.G. Peterson
J.M. Howie
Janusz Konieczny
João Araújo
K. Kunen
K. Kunen
L. Wos
L. Wos
M. Sholander
M.K. Kinyon
P.M. Neumann
R. Croisot
R. Padmanabhan
S. Winker
T.W. Scharle
V. Tasić
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2012
Field of study

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices

Repositório Aberto da Universidade Aberta

MILESTONES FOR AUTOMATED REASONING WITH OTTER

Author: Chang C. C.
Church A.
Humberstone L.
LARRY WOS
Meredith C. A.
Wos L.
Publication venue: 'World Scientific Pub Co Pte Lt'
Publication date
Field of study

Experiments in automated deduction with condensed detachment

Author: C. A. Meredith
C. A. Meredith
D. Meredith
E. J. Lemmon
F. Pfenning
J. A. Kalman
J. A. Kalman
J. A. Kalman
J. A. Kalman
J. G. Peterson
L. Wos
L. Wos
L. Wos
L. Wos
W. McCune
W. McCune
W. McCune
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

A method for finding new sets of axioms for classes of semigroups

Author: A. Rezus
B. Sobociński
B.H. Neumann
C. Hollings
C.A. Meredith
C.A. Meredith
C.A. Meredith
C.A. Meredith
E.V. Huntington
E.V. Huntington
G. Higman
H.M. Sheffer
J. Araújo
J. Araújo
J. Araújo
J. Hart
J. Konieczny
J. Łukasiewicz
J.A. Kalman
J.G. Peterson
J.M. Howie
Janusz Konieczny
João Araújo
K. Kunen
K. Kunen
L. Wos
L. Wos
M. Sholander
M.K. Kinyon
P.M. Neumann
R. Croisot
R. Padmanabhan
S. Winker
T.W. Scharle
V. Tasić
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
W. McCune
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Husk to caryopsis adhesion in barley is influenced by pre- and post-anthesis temperatures through changes in a cuticular cementing layer on the caryopsis

Author: A Richardson
AD Evers
AFM Oliveira
AJ Matas
B Luo
BN Giese
C Ugarte
C. F. E. Topp
CE Jeffree
D Bates
DC Liu
DF Calderini
DK Kosma
DR Tottman
E Reinbergs
EA Fich
G Vogg
HV Harlan
J Olkku
K Kakeda
K Wellesen
L España
L Kunst
L Kunst
M Brennan
M Riederer
M. Brennan
MAB Wallwork
MD Abràmoff
N Sinha
P Commenil
P Guzmán
P Rajasekaran
P Shi
P Sieber
PJ Holloway
PK Macnicol
Q Xie
R Duan
R Savin
R Zarnowski
RC Agu
RC Racovita
RD Belding
RE Mcdonald
RF Tester
RJ Hamilton
RL Gaines
RM Habgood
RV Lenth
S Kurdyukov
S Kurdyukov
S Peschel
S Taketa
S. Mitchell
S. P. Hoad
SI Chowdhury
SJ Lolle
SP Hoad
SP Hoad
T Evers
T Shepherd
T Shepherd
T Shepherd
T Shepherd
T Shepherd
T. Shepherd
TH Yeats
V Fernández
VS Passarella
WOS Meredith
WR Scott
Y Oshima
Á Luna
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Rheological Properties of Cereal Carbohydrates

Author: A Cruz
A Guilbot
AC Eliasson
AC Eliasson
AC Eliasson
AE Clarke
AFNOR
AG Morgan
AHA Willigen De
AM Elfak
B Jackson
B Jackson
B Launay
B Miller
BO Juliano
C Sterling
DD Christianson
DD Christianson
DD Christianson
DD Christianson
DD Christianson
DG Murray
E Varriano-Marston
EB Bagley
EB Bagley
EB Bagley
EB Lancaster
EM Montgomery
ER Erickson
ER Morris
FD Farrow
FD Farrow
G Robinson
GM Jackson
H Anger
H Krüsi
H Neukom
HF Zobel
HH Cakebread
HH Völker
HN Dengate
HS Ellis
HW Leach
HW Leach
IA Preece
IA Preece
IA Preece
ID Evans
IS Forrest
J Ollku
JA Radley
JE Cluskey
JL Doublier
JL Doublier
JL Doublier
JL Doublier
JMV Blanshard
JMV Blanshard
JR Woodward
K Autio
K Ghiasi
K Kubota
K Kubota
KA Granath
L Djaković
L Lindahl
M Kugimiya
M MacDonald
M Ott
MJ Miles
MJ Miles
MR Williams
MT Kalichevsky
MW Kearsley
P Bowler
PJ Wood
PJ Wood
PV Bulpin
R Collison
R Collison
R Stute
RA Schutz
RA Schutz
RB Wong
RBK Wong
RBK Wong
RC Hoseney
RC Hoseney
RP Saunders
RR Myers
RR Myers
RR Myers
RW Scott
SG Miles
SG Ring
SG Ring
SH Cakebread
WA Richardson
WG Bechtel
WOS Meredith
Y Nedonchelle
YF Yeh
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1990
Field of study

Crops that feed the world 4. Barley: a resilient crop?:Strengths and weaknesses in the context of food security

Author: A Amri
A Badr
A Blum
A Chesson
A Chesson
A Diaz-Perales
A Distelfeld
A Fricano
A Graner
A Hodge
A Hodge
A Wahbi
A Woldeamlak
A Woldeamlak
A-S Sandberg
AA Diab
AAM Andersson
AAM Andersson
AC Newton
AC Newton
AC Newton
AC Newton
AC Newton
AC Newton
AC Newton
AC Newton
Adrian Clive Newton
AE Melchinger
AG Condon
AJ Garthwaite
Andrew J. Flavell
AO Anyia
AP Roelfs
AV Tiedemann
B Gohl
B Jarosch
Barry Mullholland
BCY Collard
BJ Steffenson
BJ Steffenson
BP Forster
BP Forster
BP Forster
Brian J. Steffenson
C Bragard
C Revoredo-Giha
CA Hebbern
CE Hargreaves
Cesar Revoredo-Giha
CM Cossani
CM Cossani
CW Bamforth
CW Newman
D Fleury
D Robinson
D Robinson
D Saisho
D Schulte
D Struss
D Walters
D Zohary
DA Schmierer
DE Harder
DP Persson
DR Walters
E Delhaize
E Delhaize
E Francia
E Francia
E Maestri
E Nevo
E Nevo
E Nevo
E Nevo
E Nevo
E Nevo
E Nevo
E Weltzien
EA Milus
EJ Stockinger
EL Heffner
F Capettini
F Chen
F Chen
F Devienne-Barret
F Hauser
F Ordon
F Waller
F Wu
G Borràs
G Chen
G Fischbeck
G Galiba
GA Slafer
GH Palmer
GH Salekdeh
GK McDonald
H Liao
HA Pinheiro
I Heiser
Ian J. Bingham
IJ Bingham
IJ Bingham
IJ Bingham
Impact
IT Prášil
J Bort
J Cockram
J Comadran
J Comadran
J Ingversen
J King
J Lewis
J Salse
J Zhan
J Zitzewitz von
J-L Molina-Cano
J. Stuart Swanston
JA Maga
JA Rudgers
JC Makepeace
JC Sutton
JF Angus
JF Ma
JF Ma
JG Bartlett
JGP Bowman
JH Duffus
JK Ladha
JL Araus
JL Molina-Cano
JM Nicol
JN Oakley
Joanne Russell
JR Russell
JR Russell
JR Russell
JRN Anjos
JS Swanston
JW Schut
K Kosová
K Mengel
K Tanno
K Werner
KM Chin
L Cattivelli
L Huber
L Inostroza
L Munck
L Tappy
L Young
LC Emebiri
LE Browder
LG Abeledo
LM Albisu
Luke Ramsay
LZ Zong
M Izydorczyk
M Korff Von
M Korff Von
M Liao
M Reynolds
M Sharma
M Tester
M Tiryakioglu
ME Kislev
MIPM Lima
MIPM Lima
MJ Allison
MJ Allison
MJ Edney
ML Metzker
MN Christiansen
MP Reynolds
MP Reynolds
MR Broadley
MR Broadley
MR Karaman
MR Karaman
N Rostoks
N Tashi
NH Samarah
NK Fageria
NK Fageria
O Petterson
P He
P Kongprakhon
P Lombnæs
P Martin
P Monneveux
P Peltonen-Sainio
PA Lee
PF Lonergan
Philip J. White
Philip Leat
PJ Gregory
PJ White
PJ White
PJ White
PJ White
PJ White
PJ Wood
PL Dyck
PL Morrell
R Brueggeman
R Graham
R Harrington
R Harrington
R Holgado
R Jokinen
R Juknys
R Munns
R Pickering
R Reid
R Tuberosa
RA Burton
RA Richards
RA Richards
RA Richards
RG Allaby
RJ Jarman
RK Newman
RK Varshney
Robbie Waugh
RP Ellis
RP Singh
S Arisnabarreta
S Arisnabarreta
S Ceccarelli
S Ceccarelli
S Ceccarelli
S Chakraborty
S Chakraborty
S Grando
S Huang
S Hübner
S Kurppa
S Zhong
SD Tanksley
SE Ullrich
SJ Rae
SJP Oxley
SK Rasmussen
SP Jefferies
SP Moose
T Akar
T Hadado
T Komatsuda
T Suprunova
T Suprunova
T Sutton
TC Paulitz
TG Taylor
THE Meuwissen
Timothy S. George
TJ Close
TS Gahoonia
TS Gahoonia
TS Gahoonia
TS George
V Dunbabin
V Talamè
W Powell
WB White
William T. B. Thomas
WOS Meredith
X Gong
Y Jin
Y-G Zhu
YM Wei
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2011
Field of study

University of Dundee Online Publications

SRUC - Scotland's Rural College

core

core