Bancerek, Grzegorz.
VIAF ID: 300731557 ( Personal )
Permalink: http://viaf.org/viaf/300731557
Preferred Forms
-
- 100 1 _ ‡a Bancerek, Grzegorz
- 100 1 _ ‡a Bancerek, Grzegorz
-
-
-
- 100 1 _ ‡a Bancerek, Grzegorz
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Bases and refinements of topologies | |
Categorial background for duality theory | |
Circuit generated by terms and circuit calculating terms | |
Combining of multi cell circuits | |
Compactness of lim-inf topology | |
A compiler of arithmetic expressions for SCM | |
Complete lattices | |
Concrete categories | |
Consequences of the Reflection Theorem | |
Context-free grammar. | |
Continuous, stable, and linear maps of coherence spaces | |
The contraction lemma | |
Curried and Uncurried Functions | |
Duality based on the Galois connection. | |
Epsilon numbers and Cantor Normal Form | |
Filters. | |
Foundation of social sciences : the space of social structures theory | |
Full adder circuit. | |
Function spaces in the category of directed suprema preserving maps | |
Homeomorphisms of Jordan curves | |
Ideals | |
Indexed category | |
Institution of many sorted algebras. | |
Introduction to matroids | |
König’s Theorem | |
König's Lemma | |
Lattice of fuzzy sets | |
The Lawson topology | |
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings | |
Minimal signature for partial algebra | |
Miscellaneous facts about functors | |
Mizar analysis of algorithms : preliminaries | |
MKM 2004 | |
Models and satisfiability | |
Monoid of multisets and subsets | |
Mostowski's fundamental operations. | |
Niemytzki plane - an example of Tychonoff space which is not T4 | |
On constructing topological spaces and Sorgenfrey line | |
On defining functions on binary trees | |
On Powers of Cardinals | |
On semilattice structure of Mizar types | |
On state machines of calculating type | |
On the characteristic and weight of a topological space | |
On the characterizations of compactness | |
The ordinal numbers | |
Preliminaries to automatic generation of Mizar documentation for circuits | |
Processes in Petri nets | |
Properties of groups | |
Propositional Calculus | |
Quantales | |
Reduction relations | |
Representation theorem for stacks | |
Retracts and inheritance | |
The set of primitive recursive functions | |
Sorting by exchanging | |
Subtrees | |
Technical preliminaries to algebraic specifications | |
Teoria przestrzeni struktur społecznych - podstawy | |
Term context | |
Terms over many sorted universal algebra | |
Tietze extension theorem | |
Towards a MIZAR Mathematical Library in OMDoc Format | |
Towards the construction of a model of Mizar concepts | |
Transitive closure of fuzzy relations | |
Translations, endomorphisms, and stable equational theories | |
Two Programs for SCM. | |
Universal Classes | |
Valuation theory. | |
Variables in Formulae of the First Order Language | |
Veblen hierarchy | |
The "way-below" relation | |
Yet another construction of free algebra | |
Zermelo Theorem and Axiom of Choice | |
Zero-based finite sequences |