Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: isPartOf:"Information and computation"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Kongress
6
Automatisches Beweisverfahren
1
Computational logic
1
Formale Beschreibungstechnik
1
Indianapolis <Ind., 1994>
1
Kombinatorische Logik
1
Komplexitätstheorie
1
Logik
1
Mathematische Logik
1
München <1994>
1
Nebenläufigkeit
1
New Brunswick <NJ, 1996>
1
Reduktionssystem
1
San Diego <Calif., 1995>
1
Santa Margherita Ligure <1997>
1
Theoretische Informatik
1
Tsukuba <1998>
1
more ...
less ...
Type of publication
All
Book / Working Paper
9
Type of publication (narrower categories)
All
Konferenzschrift
6
Language
All
English
6
Undetermined
3
Author
All
Abiteboul, Serge
1
Ariola, Zena M.
1
Cenzer, Douglas
1
Etessami, Kousha
1
Guo, Qing
1
Kozen, Dexter
1
Nipkow, Tobias
1
Palamidessi, Catuscia
1
Slaney, John K.
1
Waldmann, Johannes
1
more ...
less ...
Institution
All
CADE <International Conference on Automated Deduction, 13, 1996, New Brunswick, NJ>
1
Express <1997, Santa Margherita Ligure>
1
International Conference on Constraints in Computational Logics <1994, München>
1
LCC <1994, Indianapolis, Ind.>
1
RTA <9, 1998, Tsukuba>
1
Symposium on Logic in Computer Science <10, 1995, San Diego, Calif.>
1
Published in...
All
Information and computation
8
Source
All
USB Cologne (EcoSocSci)
9
Showing
1
-
9
of
9
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Special issue: RTA-98 : [selected papers from the 9th International Conference on Rewriting Techniques and Applications (RTA-98), which was held from March 30 to April 1, 1998, at the University of Tsukuba, Japan]
Nipkow, Tobias
(
contributor
);
Waldmann, Johannes
(
contributor
)
-
RTA <9, 1998, Tsukuba>
- In:
Information and computation
159
(
2000
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902097
Saved in:
2
Special issue: CADE 1996
Slaney, John K.
(
contributor
);
Guo, Qing
(
contributor
)
-
CADE <International Conference on Automated Deduction, …
- In:
Information and computation
162
(
2000
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902106
Saved in:
3
Special issue: Express 1997 : [held in Santa Margherita, Ligure, Italy]
Palamidessi, Catuscia
(
contributor
); …
-
Express <1997, Santa Margherita Ligure>
- In:
Information and computation
156
(
2000
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004866912
Saved in:
4
Special issue: LICS 1995 : [papers ... at the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS), held June 26 - 29, 1995, in San Diego, California]
Kozen, Dexter
(
contributor
);
Etessami, Kousha
(
contributor
)
-
Symposium on Logic in Computer Science <10, 1995, San …
- In:
Information and computation
157
(
2000
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004866913
Saved in:
5
Information
and
computation
: 1
In:
Information and computation
160
(
2000
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902100
Saved in:
6
Special issue on the 1994 International Conference on Constraints in Computational Logics
International Conference on Constraints in …
- In:
Information and computation
142,1
(
1998
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902061
Saved in:
7
Special issue on the 1994 Workshop on Logic and Computational Complexity : 1
In:
Information and computation
140,1
(
1998
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004139588
Saved in:
8
Special issue on the 1994 Workshop on Logic and Computational Complexity : 2
In:
Information and computation
143,2
(
1998
)
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004902060
Saved in:
9
Special issue on the 1994 Workshop on Logic and Computational Complexity
Cenzer, Douglas
(
contributor
);
Abiteboul, Serge
(
contributor
)
-
LCC <1994, Indianapolis, Ind.>
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004139587
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
