Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
53.5% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
Springer-Verlag Berlin Heidelberg
Professor Dr. Jürgen Avenhaus (auth.)
gilt
beweis
fiir
1st
terminierend
proc
lemma
falls
rewriting
satz
volume
rpo
zeigen
modulo
regeln
lecture
verlag
springer
regelsystem
systems
gdw
beispiel
termination
folgt
aufgabe
menge
gleichung
r.a
conference
partialordnung
konfluent
gleichungen
aile
beachte
knuth
bendix
liefert
ordnung
journal
d.h
vervollstandigung
jedes
reduktionsordnung
abbildung
konfluenz
rosser
paare
zeigt
betrachten
termersetzungssysteme
Year:
1995
Language:
german
File:
PDF, 9.59 MB
Your tags:
0
/
0
german, 1995
2
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Springer-Verlag Berlin Heidelberg
Klaus Drosten (auth.)
gilt
zero
variablen
succ
folgt
lemma
menge
konfluent
theorem
falls
range
regeln
gleichungen
termination
prolog
beweis
substitution
konfluenz
spezifikationen
noethersch
substitutionen
spezifikation
sorten
1st
false
signatur
bool
beispiel
aile
terminierend
tesen
tiber
gegeben
korollar
normalform
ansatz
bintree
seien
strategie
folgenden
semantik
eigenschaft
func
sorts
bzw
normalformen
bezeichnet
d.h
definiert
jedem
Year:
1989
Language:
german
File:
PDF, 8.10 MB
Your tags:
0
/
0
german, 1989
3
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Springer-Verlag Berlin Heidelberg
Klaus Drosten (auth.)
gilt
zero
variablen
succ
folgt
lemma
menge
theorem
falls
konfluent
range
gleichungen
regeln
termination
prolog
beweis
spezifikationen
substitution
konfluenz
noethersch
substitutionen
spezifikation
gß
beispiel
sorten
signatur
strategie
false
bool
func
normalform
korollar
tesen
gegeben
ansatz
bintree
c202
eigenschaft
normalformen
seien
folgenden
semantik
übersetzung
bezeichnet
sorts
bzw
definiert
terminierend
paare
d.h
Year:
1989
Language:
german
File:
DJVU, 1.81 MB
Your tags:
0
/
0
german, 1989
4
Termersetzungssysteme: Theorie, Implementierung, Anwendung
Vieweg+Teubner Verlag
Reinhard Bündgen (auth.)
gilt
falls
menge
vervollständigung
beispiel
redux
folgt
regeln
gipfel
termersetzungssystem
heißt
beweis
knuth
satz
bendix
termersetzungssysteme
abbildung
ordnung
axiom
aufgabe
kritischen
gleichung
gleichungen
lemma
beweisen
zeigen
bzw
modulo
folgenden
app
substitution
variablen
lösung
läßt
spezifikation
verfahren
somit
termination
folgende
konfluenz
ordnungen
konfluent
anwendung
operatoren
beschrieben
termen
unifikation
aufgaben
beschreiben
substitutionen
Year:
1998
Language:
german
File:
PDF, 13.16 MB
Your tags:
0
/
0
german, 1998
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×